scientific article
From MaRDI portal
Publication:4049049
zbMath0296.02019MaRDI QIDQ4049049
Publication date: 1973
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Computability and recursion theory (03D99) Proof theory and constructive mathematics (03F99)
Related Items (1)
This page was built for publication: