On proving time constructibility of functions
From MaRDI portal
Publication:1059393
DOI10.1016/0304-3975(85)90015-5zbMath0566.68042OpenAlexW2000496852MaRDI QIDQ1059393
Publication date: 1985
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(85)90015-5
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
Alternating time versus deterministic time: A separation ⋮ Deterministic Turing machines in the range between real-time and linear-time.
Cites Work
This page was built for publication: On proving time constructibility of functions
