Reachability in Pushdown Register Automata

Andrzrej Murawski, Steven Ramsay, Nikos Tzevelekos

Research output: Contribution to journalArticle (Academic Journal)peer-review

7 Citations (Scopus)
231 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Reachability in Pushdown Register Automata'. Together they form a unique fingerprint.

Mathematics