scientific article
From MaRDI portal
Publication:3826542
zbMath0673.03035MaRDI QIDQ3826542
Thomas Nikolajsen, Torben Amtoft Hansen, Neil D. Jones, Jesper Larsson Träff
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Applications of computability and recursion theory (03D80) Theory of software (68N99) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)
Related Items (5)
Maximally-Polyvariant Partial Evaluation in Polynomial Time ⋮ Immune Systems in Computer Virology ⋮ Generalizing Cook's transformation to imperative stack programs ⋮ Partial memoization for obtaining linear time behavior of a 2DPDA ⋮ A Practical Simulation Result for Two-Way Pushdown Automata
This page was built for publication:
