Real Benefit of Promises and Advice

DOI10.1007/978-3-642-39053-1_1zbMath1315.03066OpenAlexW2231595487MaRDI QIDQ5326354

Ambos-Spies, Klaus, Ulrike Brandt, Martin Ziegler

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

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Decidability of theories and sets of sentences (03B25) Complexity of computation (including implicit computational complexity) (03D15) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)

Related Items (2)

Unnamed Item ⋮ Quantitative continuity and Computable Analysis in Coq

This page was built for publication: Real Benefit of Promises and Advice