On the Recognizability of Arrow and Graph Languages

DOI10.1007/978-3-540-87405-8_23zbMATH Open1175.68264OpenAlexW1531463755MaRDI QIDQ3540409FDOQ3540409

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

Recommendations

• Recognizable languages of arrows and cospans
• Recognizability of graph and pattern languages
• A logic on subobjects and recognizability
• Recognizable sets of graphs: equivalent definitions and closure properties
• The recognizability of sets of graphs is a robust property

Mathematics Subject Classification ID

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

Cited In (7)

• Recognizability of graph and pattern languages
• Reachability in Graph Transformation Systems and Slice Languages
• Title not available (Why is that?)
• Synthesis and Analysis of Petri Nets from Causal Specifications
• Causality in Bounded Petri Nets is MSO Definable
• Specifying graph languages with type graphs
• Recognizable languages of arrows and cospans

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3540409)