On the Recognizability of Arrow and Graph Languages

DOI10.1007/978-3-540-87405-8_23zbMath1175.68264OpenAlexW1531463755MaRDI QIDQ3540409

Barbara König, H. J. Sander Bruggink

Publication date: 20 November 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-87405-8_23

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Categories of machines, automata (18B20)

Related Items (3)

Reachability in Graph Transformation Systems and Slice Languages ⋮ Specifying graph languages with type graphs ⋮ Causality in Bounded Petri Nets is MSO Definable

This page was built for publication: On the Recognizability of Arrow and Graph Languages