Claude Kirchner
3
Documents
Identifiants chercheurs
- claudekirchner
- 0000-0002-1686-1046
- IdRef : 032478739
Présentation
Publications
- 3
- 1
- 1
|
Proof Search and Proof Check for Equational and Inductive TheoremsConference on Automated Deduction - CADE-19, Jul 2003, Miami (FL), United States. 20 p, ⟨10.1007/978-3-540-45085-6_26⟩
Communication dans un congrès
inria-00099470v1
|
Deduction versus Computation: the Case of InductionSixth International Conference on Artificial Intelligence and Symbolic Computation - AISC'2002, Jul 2002, Marseille, France, pp.4-6
Communication dans un congrès
inria-00101024v1
|
|
Induction as Deduction Modulo[Intern report] A04-R-468 || deplagne04a, 2004, 80 p
Rapport
inria-00099871v1
|