A Compressing Translation from Propositional Resolution to Natural Deduction
From MaRDI portal
Publication:3525003
DOI10.1007/978-3-540-74621-8_6zbMath1148.68464OpenAlexW1582330620MaRDI QIDQ3525003
Publication date: 16 September 2008
Published in: Frontiers of Combining Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-74621-8_6
Related Items (1)
Uses Software
This page was built for publication: A Compressing Translation from Propositional Resolution to Natural Deduction
