Reachability in Pushdown Register Automata

Mathematical Foundations of Computer Science 2014 - Lecture Notes in Computer Science ◽

10.1007/978-3-662-44522-8_39 ◽

2014 ◽

pp. 464-473 ◽

Author(s):

Andrzej S. Murawski ◽

Steven J. Ramsay ◽

Nikos Tzevelekos

Download Full-text