skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Computer Programming remover Academic OneFile remover ACM Digital Library remover assunto: Computer Science, Hardware & Architecture remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Tabled evaluation with delaying for general logic programs
Tabled evaluation with delaying for general logic programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Tabled evaluation with delaying for general logic programs

CHEN, W ; WARREN, D. S

Journal of the ACM, 1996, Vol.43 (1), p.20-74 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
2
Model Checking Higher-Order Programs
Model Checking Higher-Order Programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Model Checking Higher-Order Programs

KOBAYASHI, Naoki

Journal of the ACM, 2013-06, Vol.60 (3), p.1-62 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
3
Monadic datalog and the expressive power of languages for Web information extraction
Monadic datalog and the expressive power of languages for Web information extraction
Material Type:
Artigo 		Adicionar ao Meu Espaço

Monadic datalog and the expressive power of languages for Web information extraction

Gottlob, Georg ; Koch, Christoph

Journal of the ACM, 2004-01, Vol.51 (1), p.74-113 [Periódico revisado por pares]

New York: Association for Computing Machinery

Texto completo disponível

Citações Citado por
4
INSTITUTIONS - ABSTRACT MODEL-THEORY FOR SPECIFICATION AND PROGRAMMING
INSTITUTIONS - ABSTRACT MODEL-THEORY FOR SPECIFICATION AND PROGRAMMING
Material Type:
Artigo 		Adicionar ao Meu Espaço

INSTITUTIONS - ABSTRACT MODEL-THEORY FOR SPECIFICATION AND PROGRAMMING

GOGUEN, JA ; BURSTALL, RM

Journal of the ACM, 1992-01, Vol.39 (1), p.95-146 [Periódico revisado por pares]

NEW YORK: Assoc Computing Machinery

Texto completo disponível

Citações Citado por
5
Denotational Semantics with Nominal Scott Domains
Denotational Semantics with Nominal Scott Domains
Material Type:
Artigo 		Adicionar ao Meu Espaço

Denotational Semantics with Nominal Scott Domains

LÖSCH, Steffen ; PITTS, Andrew M

Journal of the ACM, 2014-07, Vol.61 (4), p.1-46 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
6
Alpha-structural recursion and induction
Alpha-structural recursion and induction
Material Type:
Artigo 		Adicionar ao Meu Espaço

Alpha-structural recursion and induction

PITTS, Andrew M

Journal of the ACM, 2006-05, Vol.53 (3), p.459-506 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
7
The benefits of relaxing punctuality
The benefits of relaxing punctuality
Material Type:
Artigo 		Adicionar ao Meu Espaço

The benefits of relaxing punctuality

ALUR, R ; FEDER, T ; HENZINGER, T. A

Journal of the ACM, 1996, Vol.43 (1), p.116-146 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
8
Remote attribute grammars
Remote attribute grammars
Material Type:
Artigo 		Adicionar ao Meu Espaço

Remote attribute grammars

BOYLAND, John Tang

Journal of the ACM, 2005-07, Vol.52 (4), p.627-687 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
9
Bisimulation can't be traced
Bisimulation can't be traced
Material Type:
Artigo 		Adicionar ao Meu Espaço

Bisimulation can't be traced

BLOOM, B ; ISTRAIL, S ; MEYER, A. R

Journal of the ACM, 1995-01, Vol.42 (1), p.232-268 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
10
The well-founded semantics for general logic programs
The well-founded semantics for general logic programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

The well-founded semantics for general logic programs

VAN GELDER, A ; ROSS, K. A ; SCHLIPF, J. S

Journal of the ACM, 1991-07, Vol.38 (3), p.620-650 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (58)

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.