Space Complexity of Stack Automata Models

von Ibarra, Oscar H.
Veröffentlicht in DLT (24. : 2020 : Tampa, Fla.) Developments in language theory (2020)

Unboundedness Problems for Machines with Reversal-Bounded Counters

von Baumann, Pascal
Veröffentlicht in FOSSACS (26. : 2023 : Paris) Foundations of software science and computation structures (2023)