Recognizable sets of graphs, hypergraphs and relational structures: a survey

DOI10.1007/978-3-540-30550-7_1MaRDI QIDQ5711946zbMATH OpenOpenAlexFDO

Authors Bruno Courcelle

Publication date 22 December 2005

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

Full work available at URL https://doi.org/10.1007/b103739

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Formal languages and automata (68Q45) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• Recognizability, hypergraph operations, and logical types
• On Several Proofs of the Recognizability Theorem
• The monadic second-order logic of graphs. I: Recognizable sets of finite graphs
• Graphs as relational structures: An algebraic and logical approach
• The recognizability of sets of graphs is a robust property

Cited in

(15)

• The monadic second-order logic of graphs. V: On closing the gap between definability and recognizability
• Recognizable series on graphs and hypergraphs
• The recognizability of sets of graphs is a robust property
• Set recognition of decomposable graphs and steps towards their reconstruction
• Recognizable series on hypergraphs
• On Several Proofs of the Recognizability Theorem
• Graphs as relational structures: An algebraic and logical approach
• A structural/temporal query language for business processes
• scientific article; zbMATH DE number 475419 (Why is no real title available?)
• Recognizable sets of graphs: equivalent definitions and closure properties
• Verification of graph grammars using a logical approach
• scientific article; zbMATH DE number 942492 (Why is no real title available?)
• Formal verification of graph grammars using mathematical induction
• An axiomatization of graphs
• Automata for XML -- a survey

This page was built for publication: Recognizable sets of graphs, hypergraphs and relational structures: a survey

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