Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Dowek, Gilles
2005.
Automated Deduction – CADE-20.
Vol. 3632,
Issue. ,
p.
1.
Dowek, Gilles
and
Werner, Benjamin
2005.
Term Rewriting and Applications.
Vol. 3467,
Issue. ,
p.
423.
Hermant, Olivier
2005.
Typed Lambda Calculi and Applications.
Vol. 3461,
Issue. ,
p.
221.
Bonichon, Richard
and
Hermant, Olivier
2006.
Logic for Programming, Artificial Intelligence, and Reasoning.
Vol. 4246,
Issue. ,
p.
167.
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.
Bonichon, Richard
and
Hermant, Olivier
2007.
Types for Proofs and Programs.
Vol. 4502,
Issue. ,
p.
33.
Burel, Guillaume
2007.
Computer Science Logic.
Vol. 4646,
Issue. ,
p.
496.
Brauner, Paul
Houtmann, Clément
and
Kirchner, Claude
2007.
Rewriting, Computation and Proof.
Vol. 4600,
Issue. ,
p.
132.
Dowek, Gilles
2007.
Types for Proofs and Programs.
Vol. 4502,
Issue. ,
p.
110.
Brauner, Paul
Houtmann, Clement
and
Kirchner, Claude
2007.
Principles of Superdeduction.
p.
41.
Cousineau, Denis
and
Dowek, Gilles
2007.
Typed Lambda Calculi and Applications.
Vol. 4583,
Issue. ,
p.
102.
Allali, Lisa
2008.
Types for Proofs and Programs.
Vol. 4941,
Issue. ,
p.
1.
Dowek, Gilles
2008.
On the Convergence of Reduction-based and Model-based Methods in Proof Theory.
Electronic Notes in Theoretical Computer Science,
Vol. 205,
Issue. ,
p.
137.
Hermant, Olivier
and
Lipton, James
2008.
Computer Science Logic.
Vol. 5213,
Issue. ,
p.
169.
Dowek, G.
2009.
On the convergence of reduction-based and model-based methods in proof theory.
Logic Journal of IGPL,
Vol. 17,
Issue. 5,
p.
489.
Houtmann, Clément
2009.
Types for Proofs and Programs.
Vol. 5497,
Issue. ,
p.
169.
Hermant, Olivier
2010.
Resolution is Cut-Free.
Journal of Automated Reasoning,
Vol. 44,
Issue. 3,
p.
245.
Aiguier, Marc
and
Longuet, Delphine
2010.
Some General Results About Proof Normalization.
Logica Universalis,
Vol. 4,
Issue. 1,
p.
1.
Burel, Guillaume
and
Kirchner, Claude
2010.
Regaining cut admissibility in deduction modulo using abstract completion.
Information and Computation,
Vol. 208,
Issue. 2,
p.
140.