scientific article; zbMATH DE number 2006635
From MaRDI portal
Publication:4436031
zbMath1024.03038MaRDI QIDQ4436031
Publication date: 23 November 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2183/21830130.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Complexity of computation (including implicit computational complexity) (03D15) Proof theory in general (including proof-theoretic semantics) (03F03) Turing machines and related notions (03D10)
This page was built for publication: