scientific article
From MaRDI portal
Publication:3315499
zbMath0533.03022MaRDI QIDQ3315499
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Classical first-order logic (03B10) Complexity of computation (including implicit computational complexity) (03D15) Turing machines and related notions (03D10)
This page was built for publication: