scientific article; zbMATH DE number 177437

MaRDI QIDQ4037312zbMATH OpenFDO

Authors Bruno Courcelle

Publication date 18 May 1993

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
• Developments in Language Theory
• 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
• scientific article; zbMATH DE number 194258 (Why is no real title available?)
• scientific article; zbMATH DE number 1953883 (Why is no real title available?)
• Logic based structure rewriting systems
• Developments in Language Theory
• Existential Graphs as a Basis for Structural Reasoning
• Relational graph rewritings

This page was built for publication:

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