Back to Results
First PageMeta Content
Models of computation / Pushdown automaton


Bisimilarity of Pushdown Automata is Nonelementary Michael Benedikt (Oxford) Stefan G¨ oller (Bremen) Stefan Kiefer (Oxford)
Add to Reading List

Document Date: 2013-09-18 06:35:52


Open Document

File Size: 83,61 KB

Share Result on Facebook