34351 articles – 26892 Notices  [english version]
.:. Consultation > Par auteur > Armand .:.
1 document

fulltext access Verifying SAT and SMT in Coq for a fully automated decision procedure
Armand M., Faure G., Grégoire B., Keller C., Théry L., Wener B.
Dans PSATTT'11: International Workshop on Proof-Search in Axiomatic Theories and Type Theories (2011) [inria-00614041 - version 1]