scientific article; zbMATH DE number 4114059

zbMATH Open0679.68135MaRDI QIDQ4729378FDOQ4729378

Authors: Bruno Courcelle 

Publication date: 1988

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

Recommendations

• scientific article; zbMATH DE number 517053
• scientific article; zbMATH DE number 3978423
• scientific article; zbMATH DE number 139800
• Algebraic transformation of unary partial algebras. I: Double-pushout approach
• Graph expressions and graph rewritings

zbMATH Keywords

monadic second-order logicgraph transformationscontext-free graph grammarsdescriptions of infinite graphs by rewriting rules and by systems of equationsgraph rewriting rulesground rewriting rules

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Equational classes, universal algebra in model theory (03C05) Thue and Post systems, etc. (03D03) Theories (e.g., algebraic theories), structure, and semantics (18C10) Abstract data types; algebraic specification (68Q65) Foundations, relations to logic and deductive systems (18A15) Equational categories (18C05)

Cited In (13)

• A regular characterization of graph languages definable in monadic second-order logic
• Computing with graph rewriting systems with priorities
• The string generating power of context-free hypergraph grammars
• Title not available (Why is that?)
• From Algebraic Graph Transformation to Adhesive HLR Categories and Systems
• Logical and schematic characterization of complexity classes
• Graph Transformations
• The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics
• Refined Graph Rewriting in Span-Categories
• Graph Transformation by Computational Category Theory
• Algebraic properties and transformations of monographs
• Title not available (Why is that?)
• Title not available (Why is that?)

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