Congruences for Visibly Pushdown Languages
Authors:
- 1 January 2005
- book chapter
- Published by Springer Nature
- p. 1102-1114
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Analysis of recursive state machinesACM Transactions on Programming Languages and Systems, 2005
- Congruences for Visibly Pushdown Languages2005
- Third-Order Idealized Algol with Iteration Is Decidable2005
- Visibly Pushdown Games2004
- A Temporal Logic of Nested Calls and Returns2004
- Bebop: A Symbolic Model Checker for Boolean Programs2000
- AN n log n ALGORITHM FOR MINIMIZING STATES IN A FINITE AUTOMATON1971
- Linear automaton transformationsProceedings of the American Mathematical Society, 1958