 | 2012 |
|---|
| 62 |       | Gilles Dowek:
Around the Physical Church-Turing Thesis: Cellular Automata, Formal Languages, and the Principles of Quantum Theory.
LATA 2012: 21-37 |
| 61 | | Pablo Arrighi,
Gilles Dowek:
Causal graph dynamics
CoRR abs/1202.1098: (2012) |
| 60 | | Olivier Bournez,
Gilles Dowek:
Preface.
Natural Computing 11(1): 1 (2012) |
| 59 | | Gilles Dowek:
The physical Church thesis as an explanation of the Galileo thesis.
Natural Computing 11(2): 247-251 (2012) |
| 2011 |
|---|
| 58 | | Pablo Arrighi,
Gilles Dowek:
The physical Church-Turing thesis and the principles of quantum theory
CoRR abs/1102.1612: (2011) |
| 57 | | Gilles Dowek,
Murdoch Gabbay:
From nominal sets binding to
CoRR abs/1111.4611: (2011) |
| 56 | | Gilles Dowek,
Ying Jiang:
On the expressive power of schemes.
Inf. Comput. 209(9): 1231-1245 (2011) |
| 55 | | Camilo Rocha,
César Muñoz,
Gilles Dowek:
A formal library of set relations and its application to synchronous languages.
Theor. Comput. Sci. 412(37): 4853-4866 (2011) |
| 2010 |
|---|
| 54 | | Pablo Arrighi,
Gilles Dowek:
On the Completeness of Quantum Computation Models.
CiE 2010: 21-30 |
| 53 | | Gilles Dowek:
Polarized Resolution Modulo.
IFIP TCS 2010: 182-196 |
| 52 | | Gilles Dowek,
Murdoch James Gabbay:
Permissive-nominal logic.
PPDP 2010: 165-176 |
| 51 | | Pablo Arrighi,
Gilles Dowek:
On the completeness of quantum computation models
CoRR abs/1004.1027: (2010) |
| 50 | | Alessandro Armando,
Peter Baumgartner,
Gilles Dowek:
Preface.
J. Autom. Reasoning 45(2): 89 (2010) |
| 49 | | 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 18(6): 769-822 (2010) |
| 2009 |
|---|
| 48 | | Guillaume Burel,
Gilles Dowek:
How can we prove that a proof search method is not an instance of another?
LFMTP 2009: 84-87 |
| 47 | | Gilles Dowek,
César Muñoz,
Camilo Rocha:
Rewriting Logic Semantics of a Plan Execution Language
SOS 2009: 77-91 |
| 46 | | Pablo Arrighi,
Gilles Dowek:
A computational definition of the notion of vectorial space
CoRR abs/0911.4051: (2009) |
| 45 | | Gilles Dowek,
Ying Jiang:
Enumerating Proofs of Positive Formulae.
Comput. J. 52(7): 799-807 (2009) |
| 44 | | Gilles Dowek:
On the convergence of reduction-based and model-based methods in proof theory.
Logic Journal of the IGPL 17(5): 489-497 (2009) |
| 2008 |
|---|
| 43 |  | Alessandro Armando,
Peter Baumgartner,
Gilles Dowek:
Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings
Springer 2008 |
| 42 | | Pablo Arrighi,
Gilles Dowek:
Linear-algebraic lambda-calculus: higher-order, encodings, and confluence..
RTA 2008: 17-31 |
| 41 | | Gilles Dowek:
On the Convergence of Reduction-based and Model-based Methods in Proof Theory.
Electr. Notes Theor. Comput. Sci. 205: 137-144 (2008) |
| 2007 |
|---|
| 40 | | Gilles Dowek,
Olivier Hermant:
A Simple Proof That Super-Consistency Implies Cut Elimination.
RTA 2007: 93-106 |
| 39 | | Denis Cousineau,
Gilles Dowek:
Embedding Pure Type Systems in the Lambda-Pi-Calculus Modulo.
TLCA 2007: 102-117 |
| 2006 |
|---|
| 38 | | César Muñoz,
Victor Carreño,
Gilles Dowek:
Formal Analysis of the Operational Concept for the Small Aircraft Transportation System.
RODIN Book 2006: 306-325 |
| 37 | | Gilles Dowek:
Truth Values Algebras and Proof Normalization.
TYPES 2006: 110-124 |
| 36 | | Gilles Dowek,
Ying Jiang:
Eigenvariables, bracketing and the decidability of positive minimal predicate logic.
Theor. Comput. Sci. 360(1-3): 193-208 (2006) |
| 2005 |
|---|
| 35 | | Gilles Dowek:
What Do We Know When We Know That a Theory Is Consistent?.
CADE 2005: 1-6 |
| 34 | | Gilles Dowek,
Benjamin Werner:
Arithmetic as a Theory Modulo.
RTA 2005: 423-437 |
| 33 | | Pablo Arrighi,
Gilles Dowek:
A Computational Definition of the Notion of Vectorial Space.
Electr. Notes Theor. Comput. Sci. 117: 249-261 (2005) |
| 2004 |
|---|
| 32 | | César Muñoz,
Gilles Dowek,
Victor Carreño:
Modeling and verification of an air traffic concept of operations.
ISSTA 2004: 175-182 |
| 2003 |
|---|
| 31 | | Gilles Dowek:
Confluence as a Cut Elimination Property.
RTA 2003: 2-13 |
| 30 | | Gilles Dowek,
Ying Jiang:
Eigenvariables, bracketing and the decidability of positive minimal intuitionistic logic.
Electr. Notes Theor. Comput. Sci. 85(7): 17-29 (2003) |
| 29 | | Gilles Dowek,
Thérèse Hardin,
Claude Kirchner:
Theorem Proving Modulo.
J. Autom. Reasoning 31(1): 33-72 (2003) |
| 28 | | Gilles Dowek,
Benjamin Werner:
Proof normalization modulo.
J. Symb. Log. 68(4): 1289-1316 (2003) |
| 27 | | César Muñoz,
Victor Carreño,
Gilles Dowek,
Ricky W. Butler:
Formal verification of conflict detection algorithms.
STTT 4(3): 371-380 (2003) |
| 2002 |
|---|
| 26 | | Gilles Dowek,
Thérèse Hardin,
Claude Kirchner:
Binding Logic: Proofs and Models.
LPAR 2002: 130-144 |
| 25 | | Gilles Dowek:
What Is a Theory?
STACS 2002: 50-64 |
| 2001 |
|---|
| 24 | | Ricky W. Butler,
Victor Carreño,
Gilles Dowek,
César Muñoz:
Formal Verification of Conflict Detection Algorithms.
CHARME 2001: 403-417 |
| 23 | | Gilles Dowek:
The Stratified Foundations as a Theory Modulo.
TLCA 2001: 136-150 |
| 22 | | Gilles Dowek:
Higher-Order Unification and Matching.
Handbook of Automated Reasoning 2001: 1009-1062 |
| 21 | | Gilles Dowek:
About Folding-Unfolding Cuts and Cuts Modulo.
J. Log. Comput. 11(3): 419-429 (2001) |
| 20 | | Gilles Dowek,
Thérèse Hardin,
Claude Kirchner:
HOL-λσ: an intentional first-order expression of higher-order logic.
Mathematical Structures in Computer Science 11(1): 21-45 (2001) |
| 2000 |
|---|
| 19 | | Gilles Dowek:
Axioms vs. Rewrite Rules: From Completeness to Cut Elimination.
FroCos 2000: 62-72 |
| 18 | | Gilles Dowek,
Thérèse Hardin,
Claude Kirchner:
Higher Order Unification via Explicit Substitutions.
Inf. Comput. 157(1-2): 183-235 (2000) |
| 1999 |
|---|
| 17 | | Yves Bertot,
Gilles Dowek,
André Hirschowitz,
C. Paulin,
Laurent Théry:
Theorem Proving in Higher Order Logics, 12th International Conference, TPHOLs'99, Nice, France, September, 1999, Proceedings
Springer 1999 |
| 16 | | Gilles Dowek,
Thérèse Hardin,
Claude Kirchner:
HOL-lambdasigma: An Intentional First-Order Expression of Higher-Order Logic.
RTA 1999: 317-331 |
| 15 | | Gilles Dowek:
Collections, sets and types.
Mathematical Structures in Computer Science 9(1): 109-123 (1999) |
| 1998 |
|---|
| 14 | | Gilles Dowek:
Automated Theorem Proving in First-Order Logic Modulo: On the Difference between Type Theory and Set Theory.
FTP (LNCS Selection) 1998: 1-22 |
| 13 | | Gilles Dowek,
Benjamin Werner:
Proof Normalization Modulo.
TYPES 1998: 62-77 |
| 1997 |
|---|
| 12 | | Gilles Dowek:
Proof Normalization for a First-Order Formulation of Higher-Order Logic.
TPHOLs 1997: 105-119 |
| 1996 |
|---|
| 11 | | Gilles Dowek,
Jan Heering,
Karl Meinke,
Bernhard Möller:
Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, Selected Papers
Springer 1996 |
| 10 | | Gilles Dowek,
Thérèse Hardin,
Claude Kirchner,
Frank Pfenning:
Unification via Explicit Substitutions: The Case of Higher-Order Patterns.
JICSLP 1996: 259-273 |
| 9 | | Gilles Dowek:
A Type-Free Formalization of Mathematics where Proofs are Objects.
TYPES 1996: 88-111 |
| 1995 |
|---|
| 8 | | Gilles Dowek,
Thérèse Hardin,
Claude Kirchner:
Higher-Order Unification via Explicit Substitutions (Extended Abstract)
LICS 1995: 366-374 |
| 7 | | Gilles Dowek:
Lambda-calculus, Combinators and the Comprehension Scheme.
TLCA 1995: 154-170 |
| 1994 |
|---|
| 6 | | Gilles Dowek:
Third Order Matching is Decidable.
Ann. Pure Appl. Logic 69(2-3): 135-155 (1994) |
| 1993 |
|---|
| 5 | | Gilles Dowek:
The Undecidability of Typability in the Lambda-Pi-Calculus.
TLCA 1993: 139-145 |
| 4 | | Gilles Dowek:
A Complete Proof Synthesis Method for the Cube of Type Systems.
J. Log. Comput. 3(3): 287-315 (1993) |
| 3 | | Gilles Dowek:
The Undecidability of Pattern Matching in Calculi Where Primitive Recursive Functions are Representable.
Theor. Comput. Sci. 107(2): 349-356 (1993) |
| 1992 |
|---|
| 2 | | Gilles Dowek:
Third Order Matching is Decidable
LICS 1992: 2-10 |
| 1991 |
|---|
| 1 | | Gilles Dowek:
A Second-Order Pattern Matching Algorithm for the Cube of Typed Lambda-Calculi.
MFCS 1991: 151-160 |
Data released under the ODC-BY 1.0 license — See also our legal information page