Proof Complexity of Non-classical Logics
From MaRDI portal
Publication:5900979
DOI10.1007/978-3-642-13562-0_3zbMath1284.03257WikidataQ59903358 ScholiaQ59903358MaRDI QIDQ5900979
Publication date: 17 June 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: http://eprints.whiterose.ac.uk/74776/10/beyersdorff.pdf
03F20: Complexity of proofs
Related Items