.:. Browse > List by authors > Deplagne .:.

4 documents ordered by : Date Title first author name document type Submit date

Induction as Deduction Modulo Deplagne E., Kirchner C. N° A04-R-468 || deplagne04a (2004) [inria-00099871 - version 1]

Proof Search and Proof Check for Equational and Inductive Theorems Deplagne E., Kirchner C., Kirchner H., Nguyen Q.-H. In Conference on Automated Deduction - CADE-19 (2003) 20 p [inria-00099470 - version 1]

Deduction versus Computation: the Case of Induction Deplagne E., Kirchner C. In Sixth International Conference on Artificial Intelligence and Symbolic Computation - AISC'2002 2385 (2002) 4-6 [inria-00101024 - version 1]

Sequent Calculus Viewed Modulo Deplagne E. In 12th European Summer School in Logic, Language & Information - ESSLLI'2000 Student Session (2000) 11 p [inria-00099056 - version 1]