Coq Modulo Theory
From MaRDI portal
Publication:3586063
DOI10.1007/978-3-642-15205-4_40zbMath1287.68154OpenAlexW1498097959MaRDI QIDQ3586063
Publication date: 3 September 2010
Published in: Computer Science Logic (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/inria-00497404/file/csl-2010.pdf
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
First-order automated reasoning with theories: when deduction modulo theory meets practice ⋮ Confluence: The Unifying, Expressive Power of Locality ⋮ Type Theory Unchained : Extending Agda with User-Defined Rewrite Rules ⋮ CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates
Uses Software
This page was built for publication: Coq Modulo Theory
