scientific article
From MaRDI portal
Publication:3698794
zbMath0577.03027MaRDI QIDQ3698794
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Complexity of computation (including implicit computational complexity) (03D15) Turing machines and related notions (03D10) Complexity of proofs (03F20)
This page was built for publication:
