scientific article; zbMATH DE number 4160147

MaRDI QIDQ3486869zbMATH OpenFDO

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

Publication date 1991

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)

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

Cited in

(16)

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

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)