scientific article
From MaRDI portal
Publication:3749046
zbMath0609.03017MaRDI QIDQ3749046
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
relativizationuniversal functionpartial functiontwo person gamecomputation structurerelativizably true propositions
Applications of game theory (91A80) Computability and recursion theory (03D99) Algorithms in computer science (68W99) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
Related Items
Variations on Muchnik's conditional complexity theorem ⋮ Improving the space-bounded version of Muchnik's conditional complexity theorem via ``naive derandomization ⋮ Vladimir Andreevich Uspensky (27/11/1930–27/6/2018) ⋮ On a complexity of the formula \((A\bigvee B) \Rightarrow C\)
