scientific article; zbMATH DE number 4160147

MaRDI QIDQ3486869zbMATH OpenFDO

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

Publication date 1991

zbMATH Keywords

graph grammarsgraph rewritingterm representationterm rewriting

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(16)

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

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)