| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Olivier Bournez, Gilles Dowek |
Preface.  |
Natural Computing  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Arrighi, Gilles Dowek |
Causal graph dynamics |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Gilles Dowek |
Around the Physical Church-Turing Thesis: Cellular Automata, Formal Languages, and the Principles of Quantum Theory. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Camilo Rocha, César Muñoz, Gilles Dowek |
A formal library of set relations and its application to synchronous languages. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Dowek, Ying Jiang |
On the expressive power of schemes. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Dowek, Murdoch Gabbay |
From nominal sets binding to |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Pablo Arrighi, Gilles Dowek |
The physical Church-Turing thesis and the principles of quantum theory |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Gilles Dowek, Murdoch James Gabbay, Dominic P. Mulligan |
Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques. |
Logic Journal of the IGPL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Arrighi, Gilles Dowek |
On the completeness of quantum computation models |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Armando, Peter Baumgartner, Gilles Dowek |
Preface. |
J. Autom. Reasoning |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Dowek |
Polarized Resolution Modulo. |
IFIP TCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Dowek, Murdoch James Gabbay |
Permissive-nominal logic. |
PPDP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Arrighi, Gilles Dowek |
On the Completeness of Quantum Computation Models. |
CiE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Dowek |
On the convergence of reduction-based and model-based methods in proof theory. |
Logic Journal of the IGPL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Dowek, Ying Jiang |
Enumerating Proofs of Positive Formulae. |
Comput. J. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Arrighi, Gilles Dowek |
A computational definition of the notion of vectorial space |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Gilles Dowek, César Muñoz, Camilo Rocha |
Rewriting Logic Semantics of a Plan Execution Language |
SOS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Burel, Gilles Dowek |
How can we prove that a proof search method is not an instance of another? |
LFMTP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Dowek |
On the Convergence of Reduction-based and Model-based Methods in Proof Theory. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Armando, Peter Baumgartner, Gilles Dowek (eds.) |
Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings |
IJCAR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Pablo Arrighi, Gilles Dowek |
Linear-algebraic lambda-calculus: higher-order, encodings, and confluence.. |
RTA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis Cousineau 0002, Gilles Dowek |
Embedding Pure Type Systems in the Lambda-Pi-Calculus Modulo. |
TLCA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Dowek, Olivier Hermant |
A Simple Proof That Super-Consistency Implies Cut Elimination. |
RTA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Dowek, Ying Jiang |
Eigenvariables, bracketing and the decidability of positive minimal predicate logic. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | César Muñoz, Victor Carreño, Gilles Dowek |
Formal Analysis of the Operational Concept for the Small Aircraft Transportation System. |
RODIN Book |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Dowek |
Truth Values Algebras and Proof Normalization. |
TYPES |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Arrighi, Gilles Dowek |
A Computational Definition of the Notion of Vectorial Space. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Dowek |
What Do We Know When We Know That a Theory Is Consistent?. |
CADE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Dowek, Benjamin Werner |
Arithmetic as a Theory Modulo. |
RTA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | César Muñoz, Gilles Dowek, Victor Carreño |
Modeling and verification of an air traffic concept of operations. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
air traffic management systems, model checking, theorem proving |
| 1 | Gilles Dowek, Benjamin Werner |
Proof normalization modulo. |
J. Symb. Log. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Gilles Dowek, Ying Jiang |
Eigenvariables, bracketing and the decidability of positive minimal intuitionistic logic. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Dowek, Thérèse Hardin, Claude Kirchner |
Theorem Proving Modulo. |
J. Autom. Reasoning |
2003 |
DBLP DOI BibTeX RDF |
sequent calculus modulo, resolution, rewriting, automated theorem proving, higher-order logic, cut elimination, narrowing, Skolemization, deduction modulo |
| 1 | César Muñoz, Victor Carreño, Gilles Dowek, Ricky W. Butler |
Formal verification of conflict detection algorithms. |
STTT |
2003 |
DBLP DOI BibTeX RDF |
Conflict detection correctness, Aircraft trajectory modeling, AILS alerting algorithm, Formal methods |
| 1 | Gilles Dowek |
Confluence as a Cut Elimination Property. |
RTA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Dowek, Thérèse Hardin, Claude Kirchner |
Binding Logic: Proofs and Models. |
LPAR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Dowek |
What Is a Theory? |
STACS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Dowek, Thérèse Hardin, Claude Kirchner |
HOL-λσ: an intentional first-order expression of higher-order logic. |
Mathematical Structures in Computer Science |
2001 |
DBLP BibTeX RDF |
|
| 1 | Gilles Dowek |
About Folding-Unfolding Cuts and Cuts Modulo. |
J. Log. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Dowek |
Higher-Order Unification and Matching. |
Handbook of Automated Reasoning |
2001 |
DBLP BibTeX RDF |
|
| 1 | Gilles Dowek |
The Stratified Foundations as a Theory Modulo. |
TLCA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricky W. Butler, Victor Carreño, Gilles Dowek, César Muñoz |
Formal Verification of Conflict Detection Algorithms. |
CHARME |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Dowek, Thérèse Hardin, Claude Kirchner |
Higher Order Unification via Explicit Substitutions. |
Inf. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Dowek |
Axioms vs. Rewrite Rules: From Completeness to Cut Elimination. |
FroCos |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Dowek |
Collections, sets and types. |
Mathematical Structures in Computer Science |
1999 |
DBLP BibTeX RDF |
|
| 1 | Gilles Dowek, Thérèse Hardin, Claude Kirchner |
HOL-lambdasigma: An Intentional First-Order Expression of Higher-Order Logic. |
RTA |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Yves Bertot, Gilles Dowek, André Hirschowitz, C. Paulin, Laurent Théry (eds.) |
Theorem Proving in Higher Order Logics, 12th International Conference, TPHOLs'99, Nice, France, September, 1999, Proceedings |
TPHOLs |
1999 |
DBLP BibTeX RDF |
|
| 1 | Gilles Dowek, Benjamin Werner |
Proof Normalization Modulo. |
TYPES |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Dowek |
Automated Theorem Proving in First-Order Logic Modulo: On the Difference between Type Theory and Set Theory. |
FTP (LNCS Selection) |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Dowek |
Proof Normalization for a First-Order Formulation of Higher-Order Logic. |
TPHOLs |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Dowek, Thérèse Hardin, Claude Kirchner, Frank Pfenning |
Unification via Explicit Substitutions: The Case of Higher-Order Patterns. |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
| 1 | Gilles Dowek |
A Type-Free Formalization of Mathematics where Proofs are Objects. |
TYPES |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller (eds.) |
Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, Selected Papers |
HOA |
1996 |
DBLP BibTeX RDF |
|
| 1 | Gilles Dowek |
Lambda-calculus, Combinators and the Comprehension Scheme. |
TLCA |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Dowek, Thérèse Hardin, Claude Kirchner |
Higher-Order Unification via Explicit Substitutions (Extended Abstract) |
LICS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Dowek |
Third Order Matching is Decidable. |
Ann. Pure Appl. Logic |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Dowek |
The Undecidability of Pattern Matching in Calculi Where Primitive Recursive Functions are Representable. |
Theor. Comput. Sci. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Dowek |
A Complete Proof Synthesis Method for the Cube of Type Systems. |
J. Log. Comput. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Dowek |
The Undecidability of Typability in the Lambda-Pi-Calculus. |
TLCA |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Dowek |
Third Order Matching is Decidable |
LICS |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Dowek |
A Second-Order Pattern Matching Algorithm for the Cube of Typed Lambda-Calculi. |
MFCS |
1991 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")