skip to main content
Idioma:
previous page 1 Resultados 2 3 4 5 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
11
Lineal: A linear-algebraic lambda-calculus
Lineal: A linear-algebraic lambda-calculus
Material Type:
Artigo 		Adicionar ao Meu Espaço

Lineal: A linear-algebraic lambda-calculus

Arrighi, Pablo ; Dowek, Gilles

Logical methods in computer science, 2013 [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

Citações Citado por
12
A Completion Method to Decide Reachability in Rewrite Systems
A Completion Method to Decide Reachability in Rewrite Systems
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A Completion Method to Decide Reachability in Rewrite Systems

Burel, Guillaume ; Dowek, Gilles ; Jiang, Ying

Frontiers of Combining Systems, 2015, Vol.9322, p.205-219 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
13
Causal Graph Dynamics
Causal Graph Dynamics
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Causal Graph Dynamics

Arrighi, Pablo ; Dowek, Gilles

Automata, Languages, and Programming, 2012, Vol.7392, p.54-66 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
14
A Simple Proof that Super-Consistency Implies Cut Elimination
A Simple Proof that Super-Consistency Implies Cut Elimination
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Simple Proof that Super-Consistency Implies Cut Elimination

Dowek, Gilles ; Hermant, Olivier

Notre Dame journal of formal logic, 2012-01, Vol.53 (4), p.439-456 [Periódico revisado por pares]

University of Notre Dame

Texto completo disponível

Citações Citado por
15
Decidability, Introduction Rules and Automata
Decidability, Introduction Rules and Automata
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Decidability, Introduction Rules and Automata

Davis, Martin ; Fehnker, Ansgar ; McIver, Annabelle ; Voronkov, Andrei

Logic for Programming, Artificial Intelligence, and Reasoning, 2015, Vol.9450, p.97-111 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
16
Real Numbers, Chaos, and the Principle of a Bounded Density of Information
Real Numbers, Chaos, and the Principle of a Bounded Density of Information
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Real Numbers, Chaos, and the Principle of a Bounded Density of Information

Dowek, Gilles

Computer Science – Theory and Applications, 2013, Vol.7913, p.347-353 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
17
A Simple Proof That Super-Consistency Implies Cut Elimination
A Simple Proof That Super-Consistency Implies Cut Elimination
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A Simple Proof That Super-Consistency Implies Cut Elimination

Dowek, Gilles ; Hermant, Olivier

Lecture Notes in Computer Science, 2007, Vol.4533, p.93-106 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
18
Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95 Paderborn, Germany, September 21–22, 1995 Selected Papers
Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95 Paderborn, Germany, September 21–22, 1995 Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95 Paderborn, Germany, September 21–22, 1995 Selected Papers

Dowek, Gilles ; Heering, Jan ; Meinke, Karl ; Möller, Bernhard Meinke, Karl ; Heering, Jan ; Dowek, Gilles ; Möller, Bernhard

Berlin, Heidelberg: Springer Berlin Heidelberg 1996

Texto completo disponível

Citações Citado por
19
From the Universality of Mathematical Truth to the Interoperability of Proof Systems
From the Universality of Mathematical Truth to the Interoperability of Proof Systems
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

From the Universality of Mathematical Truth to the Interoperability of Proof Systems

Dowek, Gilles

LNAI, 2022, Vol.13385 [Periódico revisado por pares]

Sem texto completo

Citações Citado por
20
Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings
Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings

Bertot, Yves ; Dowek, Gilles ; Théry, Laurent ; Hirschowitz, André ; Paulin, Christine Hirschowitz, André ; Théry, Laurent ; Paulin, Christine ; Bertot, Yves ; Dowek, Gilles

Berlin, Heidelberg: Springer Berlin Heidelberg 1999

Texto completo disponível

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (39)

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
Refinar
  1. Antes de2001  (15)
  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.