Similar Items: Graph Logics with Rational Relations
- Logical and Algebraic Characterizations of Rational Transductions
- Context-Sensitive Languages, Rational Graphs and Determinism
- Logical Step-Indexed Logical Relations
- Rational streams coalgebraically
- The monadic second-order logic of graphs XVI : Canonical graph decompositions
- Positive First-order Logic on Words and Graphs