The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Gilles Dowek: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Gilles Dowek, Thérèse Hardin, Claude Kirchner
    Higher-Order Unification via Explicit Substitutions (Extended Abstract) [Citation Graph (1, 0)][DBLP]
    LICS, 1995, pp:366-374 [Conf]
  2. Gilles Dowek
    What Do We Know When We Know That a Theory Is Consistent?. [Citation Graph (0, 0)][DBLP]
    CADE, 2005, pp:1-6 [Conf]
  3. Ricky W. Butler, Victor Carreño, Gilles Dowek, César Muñoz
    Formal Verification of Conflict Detection Algorithms. [Citation Graph (0, 0)][DBLP]
    CHARME, 2001, pp:403-417 [Conf]
  4. Gilles Dowek
    Axioms vs. Rewrite Rules: From Completeness to Cut Elimination. [Citation Graph (0, 0)][DBLP]
    FroCos, 2000, pp:62-72 [Conf]
  5. Gilles Dowek
    Automated Theorem Proving in First-Order Logic Modulo: On the Difference between Type Theory and Set Theory. [Citation Graph (0, 0)][DBLP]
    FTP (LNCS Selection), 1998, pp:1-22 [Conf]
  6. Gilles Dowek, Thérèse Hardin, Claude Kirchner, Frank Pfenning
    Unification via Explicit Substitutions: The Case of Higher-Order Patterns. [Citation Graph (0, 0)][DBLP]
    JICSLP, 1996, pp:259-273 [Conf]
  7. César Muñoz, Gilles Dowek, Victor Carreño
    Modeling and verification of an air traffic concept of operations. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2004, pp:175-182 [Conf]
  8. Gilles Dowek
    Third Order Matching is Decidable [Citation Graph (0, 0)][DBLP]
    LICS, 1992, pp:2-10 [Conf]
  9. Gilles Dowek, Thérèse Hardin, Claude Kirchner
    Binding Logic: Proofs and Models. [Citation Graph (0, 0)][DBLP]
    LPAR, 2002, pp:130-144 [Conf]
  10. Gilles Dowek
    A Second-Order Pattern Matching Algorithm for the Cube of Typed Lambda-Calculi. [Citation Graph (0, 0)][DBLP]
    MFCS, 1991, pp:151-160 [Conf]
  11. Gilles Dowek
    Confluence as a Cut Elimination Property. [Citation Graph (0, 0)][DBLP]
    RTA, 2003, pp:2-13 [Conf]
  12. Gilles Dowek, Thérèse Hardin, Claude Kirchner
    HOL-lambdasigma: An Intentional First-Order Expression of Higher-Order Logic. [Citation Graph (0, 0)][DBLP]
    RTA, 1999, pp:317-331 [Conf]
  13. Gilles Dowek, Benjamin Werner
    Arithmetic as a Theory Modulo. [Citation Graph (0, 0)][DBLP]
    RTA, 2005, pp:423-437 [Conf]
  14. Gilles Dowek
    What Is a Theory? [Citation Graph (0, 0)][DBLP]
    STACS, 2002, pp:50-64 [Conf]
  15. Gilles Dowek
    The Stratified Foundations as a Theory Modulo. [Citation Graph (0, 0)][DBLP]
    TLCA, 2001, pp:136-150 [Conf]
  16. Gilles Dowek
    The Undecidability of Typability in the Lambda-Pi-Calculus. [Citation Graph (0, 0)][DBLP]
    TLCA, 1993, pp:139-145 [Conf]
  17. Gilles Dowek
    Lambda-calculus, Combinators and the Comprehension Scheme. [Citation Graph (0, 0)][DBLP]
    TLCA, 1995, pp:154-170 [Conf]
  18. Gilles Dowek
    Proof Normalization for a First-Order Formulation of Higher-Order Logic. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1997, pp:105-119 [Conf]
  19. Gilles Dowek
    A Type-Free Formalization of Mathematics where Proofs are Objects. [Citation Graph (0, 0)][DBLP]
    TYPES, 1996, pp:88-111 [Conf]
  20. Gilles Dowek, Benjamin Werner
    Proof Normalization Modulo. [Citation Graph (0, 0)][DBLP]
    TYPES, 1998, pp:62-77 [Conf]
  21. César Muñoz, Victor Carreño, Gilles Dowek
    Formal Analysis of the Operational Concept for the Small Aircraft Transportation System. [Citation Graph (0, 0)][DBLP]
    RODIN Book, 2006, pp:306-325 [Conf]
  22. Gilles Dowek
    Third Order Matching is Decidable. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1994, v:69, n:2-3, pp:135-155 [Journal]
  23. Pablo Arrighi, Gilles Dowek
    A Computational Definition of the Notion of Vectorial Space. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:249-261 [Journal]
  24. Gilles Dowek, Ying Jiang
    Eigenvariables, bracketing and the decidability of positive minimal intuitionistic logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:85, n:7, pp:- [Journal]
  25. Gilles Dowek, Thérèse Hardin, Claude Kirchner
    Higher Order Unification via Explicit Substitutions. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2000, v:157, n:1-2, pp:183-235 [Journal]
  26. Gilles Dowek, Thérèse Hardin, Claude Kirchner
    Theorem Proving Modulo. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2003, v:31, n:1, pp:33-72 [Journal]
  27. Gilles Dowek
    About Folding-Unfolding Cuts and Cuts Modulo. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2001, v:11, n:3, pp:419-429 [Journal]
  28. Gilles Dowek
    A Complete Proof Synthesis Method for the Cube of Type Systems. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1993, v:3, n:3, pp:287-315 [Journal]
  29. Gilles Dowek
    Collections, sets and types. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1999, v:9, n:1, pp:109-123 [Journal]
  30. Gilles Dowek, Thérèse Hardin, Claude Kirchner
    HOL-[lambda][sigma]: an intentional first-order expression of higher-order logic. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2001, v:11, n:1, pp:21-45 [Journal]
  31. César Muñoz, Victor Carreño, Gilles Dowek, Ricky W. Butler
    Formal verification of conflict detection algorithms. [Citation Graph (0, 0)][DBLP]
    STTT, 2003, v:4, n:3, pp:371-380 [Journal]
  32. Gilles Dowek, Ying Jiang
    Eigenvariables, bracketing and the decidability of positive minimal predicate logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:360, n:1-3, pp:193-208 [Journal]
  33. Gilles Dowek
    The Undecidability of Pattern Matching in Calculi Where Primitive Recursive Functions are Representable. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:107, n:2, pp:349-356 [Journal]
  34. Gilles Dowek, Olivier Hermant
    A Simple Proof That Super-Consistency Implies Cut Elimination. [Citation Graph (0, 0)][DBLP]
    RTA, 2007, pp:93-106 [Conf]
  35. Denis Cousineau, Gilles Dowek
    Embedding Pure Type Systems in the Lambda-Pi-Calculus Modulo. [Citation Graph (0, 0)][DBLP]
    TLCA, 2007, pp:102-117 [Conf]
  36. Gilles Dowek
    Truth Values Algebras and Proof Normalization. [Citation Graph (0, 0)][DBLP]
    TYPES, 2006, pp:110-124 [Conf]

  37. On the Completeness of Quantum Computation Models. [Citation Graph (, )][DBLP]


  38. Permissive-nominal logic. [Citation Graph (, )][DBLP]


  39. Linear-algebraic lambda-calculus: higher-order, encodings, and confluence.. [Citation Graph (, )][DBLP]


  40. Enumerating Proofs of Positive Formulae. [Citation Graph (, )][DBLP]


  41. A computational definition of the notion of vectorial space [Citation Graph (, )][DBLP]


  42. Rewriting Logic Semantics of a Plan Execution Language [Citation Graph (, )][DBLP]


  43. On the completeness of quantum computation models [Citation Graph (, )][DBLP]


  44. On the Convergence of Reduction-based and Model-based Methods in Proof Theory. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002