Reachability of scope-bounded multistack pushdown systems

From MaRDI portal
Publication:2216111

DOI10.1016/j.ic.2020.104588zbMath1496.68235OpenAlexW2965450052MaRDI QIDQ2216111

Salvatore La Torre, Margherita Napoli, Gennaro Parlato

Publication date: 15 December 2020

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2020.104588




Related Items (1)



Cites Work


This page was built for publication: Reachability of scope-bounded multistack pushdown systems