scientific article; zbMATH DE number 3637285
From MaRDI portal
Publication:4197341
zbMath0409.68028MaRDI QIDQ4197341
Theodore P. Baker, Juris Hartmanis
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Clocked Polynomial Time MachinesSeparation of Complexity ClassesSound Formal SystemSuccinetness of Language Representation
Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45) Abstract data types; algebraic specification (68Q65)
Related Items (2)
On Goedel speed-up and succinctness of language representations ⋮ Independence results about context-free languages and lower bounds
This page was built for publication:
