VOLUME 15 2010 NUMBERS 1–2

On Measuring Non-Recursive Trade-Offs
Hermann Gruber, Markus Holzer, Martin Kutrib
Pages 107–120

Download Abstract
Fulltext is accessible with your personal account
ShowHide BibTeX
  author  = {Hermann Gruber and Markus Holzer and Martin Kutrib},
  title   = {On Measuring Non-Recursive Trade-Offs},
  journal = {Journal of Automata, Languages and Combinatorics},
  volume  = {15},
  number  = {1--2},
  pages   = {107--120},
  year    = {2010},
  url     = {https://doi.org/10.25596/jalc-2010-107},
  doi     = {10.25596/jalc-2010-107}
If you would like to see an embedded preview, try to select preview as the action for Portable Document Format (PDF) in your brower settings.
Keywords: descriptional systems; non-recursive trade-offs; level of unsolvability; arithmetic hierarchy
DOI: 10.25596/jalc-2010-107