scientific article; zbMATH DE number 4164141

MaRDI QIDQ3490954zbMATH OpenFDO

Authors

Publication date 1989

zbMATH Keywords

confluencegraph grammarsgraph rewritingterm rewritingtermination

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Formal languages and automata (68Q45)

Recommendations

• Implementing term rewriting by jungle evaluation
• scientific article; zbMATH DE number 4080885
• scientific article; zbMATH DE number 4160147
• Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming
• On term-graph rewrite strategies

Cited in

(13)

• Term graph rewriting and garbage collection using opfibrations
• From Jinja bytecode to term rewriting: a complexity reflecting transformation
• Bisimilarity in term graph rewriting.
• Implementing term rewriting by jungle evaluation
• scientific article; zbMATH DE number 4160147 (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?)
• A categorical manifesto
• Essentials of term graph rewriting
• Implementing term rewriting by graph reduction: Termination of combined systems
• 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

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