Extracting the Resolution Algorithm from a Completeness Proof for the Propositional Calculus
From MaRDI portal
Publication:5434504
DOI10.1007/978-3-540-72734-7_11zbMath1132.03316OpenAlexW1492881020MaRDI QIDQ5434504
Wojciech Moczydłowski, Robert L. Constable
Publication date: 4 January 2008
Published in: Logical Foundations of Computer Science (Search for Journal in Brave)
Full work available at URL: https://hdl.handle.net/1813/5754
Uses Software