scientific article; zbMATH DE number 4049097

MaRDI QIDQ3785986zbMATHFDO

Authors Bruno Courcelle

Publication date 1987

zbMATH Keywords

many-sorted algebraGraph rewriting systemsgraph expressiongraph expressions

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Graph theory (including graph drawing) in computer science (68R10) Classical first-order logic (03B10) Equational logic, Mal'tsev conditions (08B05) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 3978423
• Graph expressions and graph rewritings
• scientific article; zbMATH DE number 517053
• scientific article; zbMATH DE number 177420
• scientific article; zbMATH DE number 1638662

Cited in

(23)

• Recursive queries and context-free graph grammars
• scientific article; zbMATH DE number 4182847 (Why is no real title available?)
• Algebraic properties of processes for Local Action Systems
• The contractum in algebraic graph rewriting
• A Rewriting Approach to Graph Invariants
• scientific article; zbMATH DE number 3959458 (Why is no real title available?)
• On graph rewritings
• A comparison of boundary graph grammars and context-free hypergraph grammars
• scientific article; zbMATH DE number 517053 (Why is no real title available?)
• Relational graph rewritings
• Note on standard representation of graphs and graph derivations
• The monadic second-order logic of graphs. I: Recognizable sets of finite graphs
• The monadic second-order logic of graphs : Definable sets of finite graphs
• Graph expressions and graph rewritings
• scientific article; zbMATH DE number 475415 (Why is no real title available?)
• The monadic second-order logic of graphs, II: Infinite graphs of bounded width
• scientific article; zbMATH DE number 2148627 (Why is no real title available?)
• Drags: a compositional algebraic framework for graph rewriting
• scientific article; zbMATH DE number 1638662 (Why is no real title available?)
• The refinement calculus of reactive systems
• scientific article; zbMATH DE number 219231 (Why is no real title available?)
• scientific article; zbMATH DE number 219259 (Why is no real title available?)
• scientific article; zbMATH DE number 4049096 (Why is no real title available?)

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 Q3785986)