Analyzing pushdown systems with stack manipulation
Article in Information and Computation (April 2018)
The most recent citing publications are shown below. View all 15 publications that cite this research output on Dimensions.
Article in Information and Computation (April 2018)
Book chapter in Lecture Notes in Computer Science (July 2016)
Article in Journal of the ACM (February 2016)