Graphs as relational structures: An algebraic and logical approach

DOI10.1007/BFB0017393MaRDI QIDQ4037312zbMATH OpenFDO

Authors Bruno Courcelle

Publication date 18 May 1993

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

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

zbMATH Keywords

context-free graph-grammarhyperedge replacementhypergraphmonadic second-order logicrelational structures

Mathematics Subject Classification ID

Hypergraphs (05C65) Relational systems, laws of composition (08A02) Grammars and rewriting systems (68Q42)

Recommendations

• The monadic second-order logic of graphs. VII: Graphs as relational structures
• The monadic second order logic of graphs. VI: On several representations of graphs by relational structures
• Recognizable sets of graphs, hypergraphs and relational structures: a survey
• Fusion in relational structures and the verification of monadic second-order properties
• scientific article; zbMATH DE number 809155

Cited in

(13)

• Handle-rewriting hypergraph grammars
• Defining relations for deterministic graphs
• Graph structure and monadic second-order logic. A language-theoretic approach
• Graph Automata: The Algebraic Properties of Abelian Relational Graphoids
• On the Encoding of Relations by Graphs
• On a Graph Calculus for Algebras of Relations
• Deduction graphs: an algorithm and applications
• Relationen und Graphen. (Relations and graphs)
• A relation-algebraic approach to graph structure transformation
• Logic based structure rewriting systems
• Recognizable sets of graphs, hypergraphs and relational structures: a survey
• Existential Graphs as a Basis for Structural Reasoning
• Relational graph rewritings

This page was built for publication: Graphs as relational structures: An algebraic and logical approach

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