Theory and Applications of Models of Computation
From MaRDI portal
Publication:5898862
DOI10.1007/11750321zbMath1178.03075MaRDI QIDQ5898862
Publication date: 30 April 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11750321
03B35: Mechanization of proofs and logical operations
03B05: Classical propositional logic
03F20: Complexity of proofs