scientific article; zbMATH DE number 4049097

zbMATH Open0643.68104MaRDI QIDQ3785986FDOQ3785986

Authors: Bruno Courcelle 

Publication date: 1987

Title of this publication is not available (Why is that?)

Recommendations

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

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)

Cited In (21)

• On graph rewritings
• The refinement calculus of reactive systems
• The monadic second-order logic of graphs, II: Infinite graphs of bounded width
• A Rewriting Approach to Graph Invariants
• Algebraic properties of processes for Local Action Systems
• The contractum in algebraic graph rewriting
• Title not available (Why is that?)
• A comparison of boundary graph grammars and context-free hypergraph grammars
• Title not available (Why is that?)
• Graph expressions and graph rewritings
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Relational graph rewritings
• Recursive queries and context-free graph grammars

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)