Embedding Deduction Modulo into a Prover

DOI10.1007/978-3-642-15205-4_15zbMath1287.68152OpenAlexW4253073838MaRDI QIDQ3586040

Guillaume Burel

Publication date: 3 September 2010

Published in: Computer Science Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15205-4_15

Mathematics Subject Classification ID

Related Items

CTL Model Checking in Deduction Modulo, First-order automated reasoning with theories: when deduction modulo theory meets practice, Experimenting with Deduction Modulo, Restricted combinatory unification