Logical Approaches to Computational Barriers

DOI10.1007/11780342zbMath1145.03335OpenAlexW4255986326WikidataQ55968647 ScholiaQ55968647MaRDI QIDQ5898825

Jan Krajíček

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/11780342

Mathematics Subject Classification ID

Complexity of computation (including implicit computational complexity) (03D15) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Complexity of proofs (03F20)

This page was built for publication: Logical Approaches to Computational Barriers