Automated Deduction with Shannon Graphs
From MaRDI portal
Publication:4868260
DOI10.1093/logcom/5.6.697zbMath0845.68095OpenAlexW2025340060MaRDI QIDQ4868260
Joachim Posegga, Peter H. Schmitt
Publication date: 15 September 1996
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/46d483fbf18748e1e83412ebd15786262b30c390
Related Items
Non-elementary speed-ups in proof length by different variants of classical analytic calculi, Binary decision diagrams for first-order predicate logic., Applying Light-Weight Theorem Proving to Debugging and Verifying Pointer Programs, An efficient relational deductive system for propositional non-classical logics