Researcher identifiers

Number of documents

3

Claude Kirchner


"Quang-Huy Nguyen"   

Journal articles1 document

  • Quang-Huy Nguyen, Claude Kirchner, Hélène Kirchner. External rewriting for skeptical proof assistants. Journal of Automated Reasoning, Springer Verlag, 2002, 29 (3-4), pp.309-336. ⟨inria-00101009⟩

Conference papers1 document

  • Eric Deplagne, Claude Kirchner, Hélène Kirchner, Quang-Huy Nguyen. Proof Search and Proof Check for Equational and Inductive Theorems. Conference on Automated Deduction - CADE-19, Jul 2003, Miami, USA, 20 p. ⟨inria-00099470⟩

Reports1 document

  • Quang-Huy Nguyen, Claude Kirchner, Hélène Kirchner. External rewriting for skeptical proof assistants (extended version). [Intern report] A02-R-099 || nguyen02a, 2002, 45 p. ⟨inria-00101055⟩