Murawski, A.S.
Ramsay, S.J.
Tzevelekos, N.
This article is maintained by: Elsevier
Article Title: Reachability in pushdown register automata
Journal Title: Journal of Computer and System Sciences
CrossRef DOI link to publisher maintained version: https://doi.org/10.1016/j.jcss.2017.02.008
Content Type: article
Copyright: © 2017 The Authors. Published by Elsevier Inc.