The monadic second-order logic of graphs IX: Machines and their behaviours
- 13 November 1995
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 151 (1) , 125-162
- https://doi.org/10.1016/0304-3975(95)00049-3
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- The monadic second-order logic of graphs X: Linear orderingsTheoretical Computer Science, 1996
- CTL∗ and ECTL∗ as fragments of the modal μ-calculusTheoretical Computer Science, 1994
- Monadic second-order definable graph transductions: a surveyTheoretical Computer Science, 1994
- The monadic second-order logic of graphs IV: definability properties of equational graphsAnnals of Pure and Applied Logic, 1990
- The monadic second-order logic of graphs. I. Recognizable sets of finite graphsInformation and Computation, 1990
- The monadic second-order logic of graphs, II: Infinite graphs of bounded widthTheory of Computing Systems, 1988
- Equivalences and transformations of regular systems—Applications to recursive program schemes and grammarsTheoretical Computer Science, 1986
- Fundamental properties of infinite treesTheoretical Computer Science, 1983
- A representation of trees by languages ITheoretical Computer Science, 1978
- A representation of trees by languages IITheoretical Computer Science, 1978