Gilles Dowek

	2012
61		Gilles Dowek: Around the Physical Church-Turing Thesis: Cellular Automata, Formal Languages, and the Principles of Quantum Theory. LATA 2012: 21-37
60		Pablo Arrighi, Gilles Dowek: Causal graph dynamics CoRR abs/1202.1098: (2012)
59		Olivier Bournez, Gilles Dowek: Preface. Natural Computing 11(1): 1 (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

Coauthor Index

1	Alessandro Armando	[43] [50]
2	Pablo Arrighi	[33] [42] [46] [51] [54] [58] [60]
3	Peter Baumgartner	[43] [50]
4	Yves Bertot	[17]
5	Olivier Bournez	[59]
6	Guillaume Burel	[48]
7	Ricky W. Butler	[24] [27]
8	Victor Carreño	[24] [27] [32] [38]
9	Denis Cousineau	[39]
10	Murdoch James Gabbay (Murdoch Gabbay)	[49] [52] [57]
11	Thérèse Hardin	[8] [10] [16] [18] [20] [26] [29]
12	Jan Heering	[11]
13	Olivier Hermant	[40]
14	André Hirschowitz	[17]
15	Ying Jiang	[30] [36] [45] [56]
16	Claude Kirchner	[8] [10] [16] [18] [20] [26] [29]
17	Karl Meinke	[11]
18	Bernhard Möller	[11]
19	Dominic P. Mulligan	[49]
20	César Muñoz	[24] [27] [32] [38] [47] [55]
21	C. Paulin	[17]
22	Frank Pfenning	[10]
23	Camilo Rocha	[47] [55]
24	Laurent Théry	[17]
25	Benjamin Werner	[13] [28] [34]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page