scientific article; zbMATH DE number 4160147

zbMATH Open0706.68069MaRDI QIDQ3486869FDOQ3486869

Authors: Detlef Plump, Annegret Habel, Hans-Jörg Kreowski 

Publication date: 1991

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

Recommendations

• scientific article; zbMATH DE number 4080885
• Implementing term rewriting by jungle evaluation
• Publication:3490954
• Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming
• Efficient graph rewriting and its implementation

zbMATH Keywords

term rewritinggraph grammarsgraph rewritingterm representation

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Formal languages and automata (68Q45) Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55)

Cited In (16)

• Algebraic approach to single-pushout graph transformation
• Graph transformation for incremental natural language analysis
• Term graph rewriting and garbage collection using opfibrations
• Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming
• The equivalence of bottom-up and top-down tree-to-graph transducers
• The generative power of delegation networks
• Title not available (Why is that?)
• Jungle rewriting: an abstract description of a lazy narrowing machine
• The translation power of top-down tree-to-graph transducers
• Title not available (Why is that?)
• Implementing term rewriting by jungle evaluation
• Unification of drags and confluence of drag rewriting
• Drags: a compositional algebraic framework for graph rewriting
• Title not available (Why is that?)
• Modeling pointer redirection as cyclic term-graph rewriting
• Locating the contractum in the double pushout approach

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