Real Benefit of Promises and Advice
From MaRDI portal
Publication:5326354
DOI10.1007/978-3-642-39053-1_1zbMath1315.03066MaRDI QIDQ5326354
Ambos-Spies, Klaus, Martin Ziegler, Ulrike Brandt
Publication date: 5 August 2013
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-39053-1_1
68Q25: Analysis of algorithms and problem complexity
03B25: Decidability of theories and sets of sentences
03D15: Complexity of computation (including implicit computational complexity)
68Q15: Complexity classes (hierarchies, relations among complexity classes, etc.)