scientific article
From MaRDI portal
Publication:3927239
zbMath0473.03049MaRDI QIDQ3927239
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Complexity of computation (including implicit computational complexity) (03D15) Complexity of proofs (03F20) Relative consistency and interpretations (03F25)
Related Items (2)
\(\Delta\)-languages for sets and LOGSPACE computable graph transformers ⋮ Hereditarily-finite sets, data bases and polynomial-time computability
This page was built for publication: