2 papers
cs.FL2026
Systems of Graph Formulas and their Equivalence to Alternating Graph Automata
Frank Drewes, Berthold Hoffmann, Mark Minas
Graph-based modeling plays a fundamental role in many areas of computer science. In this paper, we introduce systems of graph formulas with variables for specifying graph propertie…
cs.FL2025
Finite Automata for Efficient Graph Recognition
Frank Drewes, Berthold Hoffmann, Mark Minas
Engelfriet and Vereijken have shown that linear graph grammars based on hyperedge replacement generate graph languages that can be considered as interpretations of regular string l…