MINIMIZATION OF PLANAR DIRECTED ACYCLIC GRAPH ALGEBRAS
From MaRDI portal
Publication:2856022
DOI10.1142/S0129054113500184zbMath1286.68334MaRDI QIDQ2856022
Olympia Louscou-Bozapalidou, Antonios Kalampakas
Publication date: 23 October 2013
Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)
Graph theory (including graph drawing) in computer science (68R10) Algebraic theory of languages and automata (68Q70)
Cites Work
- An axiomatization of graphs
- Backward and forward bisimulation minimization of tree automata
- Minimizing deterministic weighted tree automata
- Mergible states in large NFA
- Graph automata
- Recognizability of graph and pattern languages
- BISIMULATION MINIMIZATION OF TREE AUTOMATA
- Parallel and two-way automata on directed ordered acyclic graphs