Deduction and theorem proving modulo

Claude Kirchner 1
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Cours sur la Deduction Modulo
Mots-clés : deduction modulo
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/inria-00098921
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 8:40:18 AM
Last modification on : Thursday, January 11, 2018 - 6:19:58 AM

Identifiers

  • HAL Id : inria-00098921, version 1

Collections

Citation

Claude Kirchner. Deduction and theorem proving modulo. School of logic & computation, May 1999, Edinburgh, United Kingdom. ⟨inria-00098921⟩

Share

Metrics

Record views

67