The expected complexity of analytic tableaux analyses in propositional calculus
From MaRDI portal
Publication:1168964
DOI10.1305/NDJFL/1093870153zbMath0494.03006OpenAlexW4235267218MaRDI QIDQ1168964
John W. Rosenthal, J. M. Plotkin
Publication date: 1982
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093870153
Related Items (1)
This page was built for publication: The expected complexity of analytic tableaux analyses in propositional calculus
