Gilles Dowek

Pablo Arrighi, Gilles Dowek: Causal graph dynamics. Inf. Comput. 223: 78-93 (2013)

Gilles Dowek, Samson Abramsky: What Makes Alan Turing a Great Scientist? - Introduction to the Special Theme. ERCIM News 2012(91) (2012)

Pablo Arrighi, Gilles Dowek: The Physical Church-Turing Thesis and the Principles of Quantum Theory. Int. J. Found. Comput. Sci. 23(5): 1131-1146 (2012)

Olivier Bournez, Gilles Dowek: Preface. Natural Computing 11(1): 1 (2012)

Gilles Dowek: The physical Church thesis as an explanation of the Galileo thesis. Natural Computing 11(2): 247-251 (2012)

Gilles Dowek, Olivier Hermant: A Simple Proof that Super-Consistency Implies Cut Elimination. Notre Dame Journal of Formal Logic 53(4): 439-456 (2012)

Anthony Narkawicz, César A. Muñoz, Gilles Dowek: Provably correct conflict prevention bands algorithms. Sci. Comput. Program. 77(10-11): 1039-1057 (2012)

Gilles Dowek, Murdoch James Gabbay: PNL to HOL: From the logic of nominal sets to the logic of higher-order functions. Theor. Comput. Sci. 451: 38-69 (2012)

Gilles Dowek, Murdoch James Gabbay: Permissive-nominal logic: First-order logic over nominal terms and sets. ACM Trans. Comput. Log. 13(3): 20 (2012)

Gilles Dowek, Murdoch James Gabbay: Nominal Semantics for Predicate Logic: Algebras, Substitution, Quantifiers, and Limits. CILC 2012: 104-118

Gilles Dowek: A Theory Independent Curry-De Bruijn-Howard Correspondence. ICALP (2) 2012: 13-15

Pablo Arrighi, Gilles Dowek: Causal Graph Dynamics. ICALP (2) 2012: 54-66

Gilles Dowek: Around the Physical Church-Turing Thesis: Cellular Automata, Formal Languages, and the Principles of Quantum Theory. LATA 2012: 21-37

Alejandro Díaz-Caro, Gilles Dowek: Non determinism through type isomorphism. LSFA 2012: 137-144

Pablo Arrighi, Gilles Dowek: Causal graph dynamics. CoRR abs/1202.1098 (2012)

Gilles Dowek, Ying Jiang: On the expressive power of schemes. Inf. Comput. 209(9): 1231-1245 (2011)

Camilo Rocha, César A. Muñoz, Gilles Dowek: A formal library of set relations and its application to synchronous languages. Theor. Comput. Sci. 412(37): 4853-4866 (2011)

Pablo Arrighi, Gilles Dowek: The physical Church-Turing thesis and the principles of quantum theory. CoRR abs/1102.1612 (2011)

Gilles Dowek, Murdoch Gabbay: From nominal sets binding to . CoRR abs/1111.4611 (2011)

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)

Alessandro Armando, Peter Baumgartner, Gilles Dowek: Preface. J. Autom. Reasoning 45(2): 89 (2010)

Pablo Arrighi, Gilles Dowek: On the Completeness of Quantum Computation Models. CiE 2010: 21-30

Gilles Dowek: Polarized Resolution Modulo. IFIP TCS 2010: 182-196

Ricky W. Butler, George Hagen, Jeffrey Maddalon, César A. Muñoz, Anthony Narkawicz, Gilles Dowek: How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project. NASA Formal Methods 2010: 34-46

Gilles Dowek, Murdoch James Gabbay: Permissive-nominal logic. PPDP 2010: 165-176

Pablo Arrighi, Gilles Dowek: On the completeness of quantum computation models. CoRR abs/1004.1027 (2010)

Gilles Dowek, Ying Jiang: Enumerating Proofs of Positive Formulae. Comput. J. 52(7): 799-807 (2009)

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)

Guillaume Burel, Gilles Dowek: How can we prove that a proof search method is not an instance of another? LFMTP 2009: 84-87

Gilles Dowek, César A. Muñoz, Camilo Rocha: Rewriting Logic Semantics of a Plan Execution Language. SOS 2009: 77-91

Pablo Arrighi, Gilles Dowek: A computational definition of the notion of vectorial space. CoRR abs/0911.4051 (2009)

Gilles Dowek: On the Convergence of Reduction-based and Model-based Methods in Proof Theory. Electr. Notes Theor. Comput. Sci. 205: 137-144 (2008)

Pablo Arrighi, Gilles Dowek: Linear-algebraic lambda-calculus: higher-order, encodings, and confluence.. RTA 2008: 17-31

Alessandro Armando, Peter Baumgartner, Gilles Dowek (Eds.): Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings. Lecture Notes in Computer Science 5195, Springer 2008, isbn 978-3-540-71069-1

Gilles Dowek, Olivier Hermant: A Simple Proof That Super-Consistency Implies Cut Elimination. RTA 2007: 93-106

Denis Cousineau, Gilles Dowek: Embedding Pure Type Systems in the Lambda-Pi-Calculus Modulo. TLCA 2007: 102-117

Gilles Dowek, Ying Jiang: Eigenvariables, bracketing and the decidability of positive minimal predicate logic. Theor. Comput. Sci. 360(1-3): 193-208 (2006)

César A. Muñoz, Victor Carreño, Gilles Dowek: Formal Analysis of the Operational Concept for the Small Aircraft Transportation System. RODIN Book 2006: 306-325

Gilles Dowek: Truth Values Algebras and Proof Normalization. TYPES 2006: 110-124

Pablo Arrighi, Gilles Dowek: A Computational Definition of the Notion of Vectorial Space. Electr. Notes Theor. Comput. Sci. 117: 249-261 (2005)

Gilles Dowek: What Do We Know When We Know That a Theory Is Consistent?. CADE 2005: 1-6

Gilles Dowek, Benjamin Werner: Arithmetic as a Theory Modulo. RTA 2005: 423-437

César A. Muñoz, Gilles Dowek, Victor Carreño: Modeling and verification of an air traffic concept of operations. ISSTA 2004: 175-182

Gilles Dowek, Ying Jiang: Eigenvariables, bracketing and the decidability of positive minimal intuitionistic logic. Electr. Notes Theor. Comput. Sci. 85(7): 17-29 (2003)

Gilles Dowek, Thérèse Hardin, Claude Kirchner: Theorem Proving Modulo. J. Autom. Reasoning 31(1): 33-72 (2003)

Gilles Dowek, Benjamin Werner: Proof normalization modulo. J. Symb. Log. 68(4): 1289-1316 (2003)

César A. Muñoz, Victor Carreño, Gilles Dowek, Ricky W. Butler: Formal verification of conflict detection algorithms. STTT 4(3): 371-380 (2003)

Gilles Dowek: Confluence as a Cut Elimination Property. RTA 2003: 2-13

Gilles Dowek, Thérèse Hardin, Claude Kirchner: Binding Logic: Proofs and Models. LPAR 2002: 130-144

Gilles Dowek: What Is a Theory? STACS 2002: 50-64

Gilles Dowek: About Folding-Unfolding Cuts and Cuts Modulo. J. Log. Comput. 11(3): 419-429 (2001)

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)

Ricky W. Butler, Victor Carreño, Gilles Dowek, César A. Muñoz: Formal Verification of Conflict Detection Algorithms. CHARME 2001: 403-417

Gilles Dowek: The Stratified Foundations as a Theory Modulo. TLCA 2001: 136-150

Gilles Dowek: Higher-Order Unification and Matching. Handbook of Automated Reasoning 2001: 1009-1062

Gilles Dowek, Thérèse Hardin, Claude Kirchner: Higher Order Unification via Explicit Substitutions. Inf. Comput. 157(1-2): 183-235 (2000)

Gilles Dowek: Axioms vs. Rewrite Rules: From Completeness to Cut Elimination. FroCoS 2000: 62-72

Gilles Dowek: Collections, sets and types. Mathematical Structures in Computer Science 9(1): 109-123 (1999)

Gilles Dowek, Thérèse Hardin, Claude Kirchner: HOL-lambdasigma: An Intentional First-Order Expression of Higher-Order Logic. RTA 1999: 317-331

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. Lecture Notes in Computer Science 1690, Springer 1999, isbn 3-540-66463-7

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

Gilles Dowek, Benjamin Werner: Proof Normalization Modulo. TYPES 1998: 62-77

Gilles Dowek: Proof Normalization for a First-Order Formulation of Higher-Order Logic. TPHOLs 1997: 105-119

Gilles Dowek, Thérèse Hardin, Claude Kirchner, Frank Pfenning: Unification via Explicit Substitutions: The Case of Higher-Order Patterns. JICSLP 1996: 259-273

Gilles Dowek: A Type-Free Formalization of Mathematics where Proofs are Objects. TYPES 1996: 88-111

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. Lecture Notes in Computer Science 1074, Springer 1996, isbn 3-540-61254-8

Gilles Dowek, Thérèse Hardin, Claude Kirchner: Higher-Order Unification via Explicit Substitutions (Extended Abstract). LICS 1995: 366-374

Gilles Dowek: Lambda-calculus, Combinators and the Comprehension Scheme. TLCA 1995: 154-170

Gilles Dowek: Third Order Matching is Decidable. Ann. Pure Appl. Logic 69(2-3): 135-155 (1994)

Gilles Dowek: A Complete Proof Synthesis Method for the Cube of Type Systems. J. Log. Comput. 3(3): 287-315 (1993)

Gilles Dowek: The Undecidability of Pattern Matching in Calculi Where Primitive Recursive Functions are Representable. Theor. Comput. Sci. 107(2): 349-356 (1993)

Gilles Dowek: The Undecidability of Typability in the Lambda-Pi-Calculus. TLCA 1993: 139-145

Gilles Dowek: Third Order Matching is Decidable. LICS 1992: 2-10

Gilles Dowek: A Second-Order Pattern Matching Algorithm for the Cube of Typed Lambda-Calculi. MFCS 1991: 151-160