Searching for authors named "Gilles Dowek" – sorted by Relevance.
36 documents found, showing 1 through 10.
Next 10 →
-
Confluence as a Cut Elimination Property
- …Con uence as a cut elimination property Gilles Dowek INRIA-Rocquencourt BP 105, 78153 Le Chesnay…
- Cited by 4 (0 self) – Add To MetaCart
-
Truth value algebras and proof normalization
- …Truth values algebras and proof normalization Gilles Dowek École polytechnique and INRIA, LIX…
- Cited by 2 (2 self) – Add To MetaCart
-
About folding-unfolding cuts and cuts modulo
- … RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE About folding-unfolding cuts and cuts modulo Gilles Dowek N…
- Cited by 2 (2 self) – Add To MetaCart
-
Type theories
- …What is a Theory ? Gilles Dowek INRIA-Rocquencourt, BP 105, 78153 Le Chesnay Cedex, France. Gilles.Dowek…
- Cited by 2 (0 self) – Add To MetaCart
-
A Unification Algorithm for Second-Order Linear Terms
- …A Unification Algorithm for Second-Order Linear Terms Gilles Dowek INRIA We give an algorithm…
- Cited by 2 (0 self) – Add To MetaCart
-
Proof Normalization for a First-Order Formulation of Higher-Order Logic
- … AUTOMATIQUE Proof normalization for a first-order formulation of higher-order logic Gilles Dowek No 3383…
- Cited by 3 (2 self) – Add To MetaCart
-
The Undecidability of Unification Modulo σ Alone
- …The Undecidability of Unification Modulo σ Alone Gilles Dowek École polytechnique and INRIA LIX…
- Add To MetaCart
-
Relating
- …Relating the solutions of nominal unification and pattern unification Gilles Dowek and Murdoch J…
- Add To MetaCart
-
Non
- …Non deterministic computation over the real numbers Gilles Dowek ∗ We have defended in [2, 3…
- Add To MetaCart
-
Skolemization in Simple Type Theory: the Logical and the Theoretical Points of View
- …Skolemization in Simple Type Theory: the Logical and the Theoretical Points of View Gilles Dowek…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
