zbMath0296.02019MaRDI QIDQ4049049
B. A. Kusner
Publication date: 1973
Mathematics Subject Classification ID
Analysis of algorithms and problem complexity (68Q25) Computability and recursion theory (03D99) Proof theory and constructive mathematics (03F99)
Related Items