Proof Complexity of Non-classical Logics
From MaRDI portal
Publication:5900979
DOI10.1007/978-3-642-13562-0_3zbMath1284.03257OpenAlexW2406716656WikidataQ59903358 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
Related Items (1)
This page was built for publication: Proof Complexity of Non-classical Logics
