scientific article; zbMATH DE number 919850

zbMATH Open0854.68050MaRDI QIDQ4890715FDOQ4890715

Authors: Andy Schürr 

Publication date: 25 August 1996

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

Recommendations

• Logic based structure rewriting systems
• A kernel language for programmed rewriting of (hyper)graphs
• scientific article; zbMATH DE number 1638651
• Relational graph rewritings
• On structured graph grammars. II

zbMATH Keywords

denotational semanticsgraph rewriting systems

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cited In (9)

• Title not available (Why is that?)
• An approach to declarative programming based on a rewriting logic
• A calculus of concurrent graph-rewriting processes
• Proving correctness of logically decorated graph rewriting systems
• A structural/temporal query language for business processes
• A kernel language for programmed rewriting of (hyper)graphs
• Attributed graph rewriting system
• On edge addition rewrite systems and their relevance to program analysis
• Logic based structure rewriting systems

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