skip to main content
Idioma:
previous page 1 2 Resultados 3 4 next page
Mostrar Somente
Refinado por: autor: Dowek, Gilles remover nível superior: Revistas revisadas por pares remover
Result Number Material Type Add to My Shelf Action Record Details and Options
21
PNL to HOL: From the logic of nominal sets to the logic of higher-order functions
PNL to HOL: From the logic of nominal sets to the logic of higher-order functions
Material Type:
Artigo 		Adicionar ao Meu Espaço

PNL to HOL: From the logic of nominal sets to the logic of higher-order functions

Dowek, Gilles ; Gabbay, Murdoch J.

Theoretical computer science, 2012-09, Vol.451, p.38-69 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
22
Eigenvariables, bracketing and the decidability of positive minimal predicate logic
Eigenvariables, bracketing and the decidability of positive minimal predicate logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Eigenvariables, bracketing and the decidability of positive minimal predicate logic

DOWEK, Gilles ; YING JIANG

Theoretical computer science, 2006-08, Vol.360 (1-3), p.193-208 [Periódico revisado por pares]

Amsterdam: Elsevier

Texto completo disponível

Citações Citado por
23
Theorem Proving Modulo
Theorem Proving Modulo
Material Type:
Artigo 		Adicionar ao Meu Espaço

Theorem Proving Modulo

Dowek Gilles ; Hardin, Thérèse ; Kirchner, Claude

Journal of automated reasoning, 2003-09, Vol.31 (1), p.33-72 [Periódico revisado por pares]

Dordrecht: Springer Nature B.V

Texto completo disponível

Citações Citado por
24
Enumerating Proofs of Positive Formulae
Enumerating Proofs of Positive Formulae
Material Type:
Artigo 		Adicionar ao Meu Espaço

Enumerating Proofs of Positive Formulae

Dowek, Gilles ; Jiang, Ying

Computer journal, 2009-10, Vol.52 (7), p.799-807 [Periódico revisado por pares]

Oxford: Oxford University Press

Texto completo disponível

Citações Citado por
25
On the expressive power of schemes
On the expressive power of schemes
Material Type:
Artigo 		Adicionar ao Meu Espaço

On the expressive power of schemes

Dowek, Gilles ; Jiang, Ying

Information and computation, 2011-09, Vol.209 (9), p.1231-1245 [Periódico revisado por pares]

Amsterdam: Elsevier Inc

Texto completo disponível

Citações Citado por
26
A formal library of set relations and its application to synchronous languages
A formal library of set relations and its application to synchronous languages
Material Type:
Artigo 		Adicionar ao Meu Espaço

A formal library of set relations and its application to synchronous languages

Rocha, Camilo ; Muñoz, César ; Dowek, Gilles

Theoretical computer science, 2011-08, Vol.412 (37), p.4853-4866 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
27
A formal library of set relations and its application to synchronous languages: Logical and Semantic Frameworks with Applications (LSFA 2008 and 2009)
A formal library of set relations and its application to synchronous languages: Logical and Semantic Frameworks with Applications (LSFA 2008 and 2009)
Material Type:
Artigo 		Adicionar ao Meu Espaço

A formal library of set relations and its application to synchronous languages: Logical and Semantic Frameworks with Applications (LSFA 2008 and 2009)

ROCHA, Camilo ; MUNOZ, Cesar ; DOWEK, Gilles

Theoretical computer science, 2011, Vol.412 (37), p.4853-4866 [Periódico revisado por pares]

Oxford: Elsevier

Texto completo disponível

Citações Citado por
28
Permissive-nominal logic: First-order logic over nominal terms and sets
Permissive-nominal logic: First-order logic over nominal terms and sets
Material Type:
Artigo 		Adicionar ao Meu Espaço

Permissive-nominal logic: First-order logic over nominal terms and sets

Dowek, Gilles ; Gabbay, Murdoch J.

ACM transactions on computational logic, 2012-08, Vol.13 (3), p.1-36 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
29
Arithmetic as a Theory Modulo
Arithmetic as a Theory Modulo
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Arithmetic as a Theory Modulo

Dowek, Gilles ; Werner, Benjamin Giesl, Jürgen

Lecture notes in computer science, 2005, p.423-437 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
30
Higher Order Unification via Explicit Substitutions
Higher Order Unification via Explicit Substitutions
Material Type:
Artigo 		Adicionar ao Meu Espaço

Higher Order Unification via Explicit Substitutions

Dowek, Gilles ; Hardin, Thérèse ; Kirchner, Claude

Information and computation, 2000-02, Vol.157 (1-2), p.183-235 [Periódico revisado por pares]

San Diego, CA: Elsevier Inc

Texto completo disponível

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (28)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (21)
  2. Anais de Congresso  (7)
  3. Book Chapters  (3)
  4. Livros  (2)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2001  (4)
  2. 2001Até2005  (5)
  3. 2006Até2010  (4)
  4. 2011Até2016  (12)
  5. Após 2016  (10)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.