28595 articles – 22090 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]