Automated Deduction – CADE-20
From MaRDI portal
Publication:5394603
DOI10.1007/11532231zbMath1135.68555OpenAlexW2485416161MaRDI QIDQ5394603
Pierre Corbineau, Evelyne Contejean
Publication date: 1 November 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11532231
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
Modular SMT Proofs for Fast Reflexive Checking Inside Coq ⋮ Improving Coq Propositional Reasoning Using a Lazy CNF Conversion Scheme
Uses Software
This page was built for publication: Automated Deduction – CADE-20
