Similar Items: Forbidden-Context & Ordered Grammar Systems
- Regular Grammars as Effective Representations of Recognizable Sets of Series-Parallel Graphs
- Improving Reachability in Vector Addition Systems through Pumpability
- Distributional Learning of Graph Languages Generated by Fixed-Interface Clause Systems
- Automatic constraint satisfaction problem
- On Languages Describing Large Graph Classes
- Visualising CTL Witnesses and Counterexamples -- Extended Version