Baumann, Pascal; D’Alessandro, Flavio; Ganardi, Moses; Ibarra, Oscar; McQuillan, Ian; Schütze, Lia; Zetzsche, Georg Unboundedness problems for machines with reversal-bounded counters. (English) Zbl 07770340 Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 240-264 (2023). MSC: 68Nxx 68Qxx PDFBibTeX XMLCite \textit{P. Baumann} et al., Lect. Notes Comput. Sci. 13992, 240--264 (2023; Zbl 07770340) Full Text: DOI arXiv
Ibarra, Oscar H.; McQuillan, Ian State grammars with stores. (English) Zbl 1435.68133 Theor. Comput. Sci. 798, 23-39 (2019). MSC: 68Q42 68Q25 68Q45 PDFBibTeX XMLCite \textit{O. H. Ibarra} and \textit{I. McQuillan}, Theor. Comput. Sci. 798, 23--39 (2019; Zbl 1435.68133) Full Text: DOI
Ibarra, Oscar H.; Woodworth, Sara On symport/antiport P systems with a small number of objects. (English) Zbl 1112.68063 Int. J. Comput. Math. 83, No. 7, 613-629 (2006). MSC: 68Q10 PDFBibTeX XMLCite \textit{O. H. Ibarra} and \textit{S. Woodworth}, Int. J. Comput. Math. 83, No. 7, 613--629 (2006; Zbl 1112.68063) Full Text: DOI