Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Dowek, Gilles
2001.
Handbook of Automated Reasoning.
p.
1009.
Bonelli, Eduardo
Kesner, Delia
and
Ríos, Alejandro
2001.
Rewriting Techniques and Applications.
Vol. 2051,
Issue. ,
p.
47.
Dowek, Gilles
2001.
Typed Lambda Calculi and Applications.
Vol. 2044,
Issue. ,
p.
136.
Deplagne, Eric
and
Kirchner, Claude
2002.
Artificial Intelligence, Automated Reasoning, and Symbolic Computation.
Vol. 2385,
Issue. ,
p.
4.
Dowek, Gilles
Hardin, Thérèse
and
Kirchner, Claude
2002.
Logic for Programming, Artificial Intelligence, and Reasoning.
Vol. 2514,
Issue. ,
p.
130.
Prevosto, Virgile
Doligez, Damien
and
Hardin, Thérèse
2002.
Theorem Proving in Higher Order Logics.
Vol. 2410,
Issue. ,
p.
298.
Martı́-Oliet, Narciso
and
Meseguer, José
2002.
Rewriting logic: roadmap and bibliography.
Theoretical Computer Science,
Vol. 285,
Issue. 2,
p.
121.
Deplagne, Eric
Kirchner, Claude
Kirchner, Hélène
and
Nguyen, Quang Huy
2003.
Automated Deduction – CADE-19.
Vol. 2741,
Issue. ,
p.
297.
Pitts, Andrew M.
2003.
Nominal logic, a first order theory of names and binding.
Information and Computation,
Vol. 186,
Issue. 2,
p.
165.
Dowek, Gilles
and
Jiang, Ying
2003.
Eigenvariables, bracketing and the decidability of positive minimal intuitionistic logic.
Electronic Notes in Theoretical Computer Science,
Vol. 85,
Issue. 7,
p.
17.
Benzmüller, Christoph
Brown, Chad E.
and
Kohlhase, Michael
2004.
Higher-order semantics and extensionality.
Journal of Symbolic Logic,
Vol. 69,
Issue. 4,
p.
1027.
Kirchner, Claude
and
Kirchner, Hélène
2004.
Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making.
Vol. 3321,
Issue. ,
p.
363.
Dowek, Gilles
2005.
Automated Deduction – CADE-20.
Vol. 3632,
Issue. ,
p.
1.
Dowek, Gilles
and
Jiang, Ying
2006.
Eigenvariables, bracketing and the decidability of positive minimal predicate logic.
Theoretical Computer Science,
Vol. 360,
Issue. 1-3,
p.
193.
Dowek, Gilles
and
Hermant, Olivier
2007.
Term Rewriting and Applications.
Vol. 4533,
Issue. ,
p.
93.
Burel, Guillaume
and
Kirchner, Claude
2007.
Logical Foundations of Computer Science.
Vol. 4514,
Issue. ,
p.
115.
Cousineau, Denis
and
Dowek, Gilles
2007.
Typed Lambda Calculi and Applications.
Vol. 4583,
Issue. ,
p.
102.
Kirchner, Florent
2007.
Types for Proofs and Programs.
Vol. 4502,
Issue. ,
p.
188.
Dowek, Gilles
2007.
Types for Proofs and Programs.
Vol. 4502,
Issue. ,
p.
110.
Burel, Guillaume
2008.
A First-Order Representation of Pure Type Systems Using Superdeduction.
p.
253.