The proof complexity of analytic and clausal tableaux

DOI10.1016/S0304-3975(00)00148-1zbMath0947.68130OpenAlexW2120887282WikidataQ127482007 ScholiaQ127482007MaRDI QIDQ1575658

Could not fetch data.

Publication date: 21 August 2000

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(00)00148-1

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.