Some more independence results in complexity theory
From MaRDI portal
Publication:1146514
DOI10.1016/0304-3975(80)90024-9zbMath0447.68041OpenAlexW2086060278MaRDI QIDQ1146514
Publication date: 1980
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(80)90024-9
Analysis of algorithms and problem complexity (68Q25) Decidability of theories and sets of sentences (03B25) Complexity of computation (including implicit computational complexity) (03D15) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
Cites Work
This page was built for publication: Some more independence results in complexity theory