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…