Publication:4194461
From MaRDI portal
zbMath0407.68052MaRDI QIDQ4194461
Publication date: 1979
Full work available at URL: https://eudml.org/doc/27635
68Q25: Analysis of algorithms and problem complexity
03D60: Computability and recursion theory on ordinals, admissible sets, etc.
Related Items
Cites Work