On context-free sets of graphs and their monadic second-order theory
- 1 January 1987
- book chapter
- Published by Springer Nature
- p. 133-146
- https://doi.org/10.1007/3-540-18771-5_50
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Tree acceptors and some of their applicationsJournal of Computer and System Sciences, 1970
- Generalized finite automata theory with an application to a decision problem of second-order logicTheory of Computing Systems, 1968
- Weak Second‐Order Arithmetic and Finite AutomataMathematical Logic Quarterly, 1960