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)