scientific article
From MaRDI portal
Publication:3340843
zbMath0548.03019MaRDI QIDQ3340843
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
diagonalizationprovabilityindex setsarithmetical hierarchycomplexity classesNPPrecursive refutability
Analysis of algorithms and problem complexity (68Q25) Complexity of computation (including implicit computational complexity) (03D15) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
This page was built for publication: