skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Lista de Todas as Versões Computer Programming remover Academic OneFile remover Lista de Todas as Versões Computer Science, Software Engineering remover Computer Science, Information Systems 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
Polymorphism and type inference in database programming
Polymorphism and type inference in database programming
Material Type:
Artigo 		Adicionar ao Meu Espaço

Polymorphism and type inference in database programming

BUNEMAN, P ; OHORI, A

ACM transactions on database systems, 1996-03, Vol.21 (1), p.30-76 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
4
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
5
Disjunctive datalog
Disjunctive datalog
Material Type:
Artigo 		Adicionar ao Meu Espaço

Disjunctive datalog

Eiter, Thomas ; Gottlob, Georg ; Mannila, Heikki

ACM transactions on database systems, 1997-09, Vol.22 (3), p.364-418 [Periódico revisado por pares]

New York: Association for Computing Machinery

Texto completo disponível

Citações Citado por
6
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
7
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
8
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
9
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
10
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
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 (67)

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

Buscando em bases de dados remotas. Favor aguardar.