scientific article; zbMATH DE number 969074

MaRDI QIDQ5284550zbMATH OpenFDO

Authors Detlef Plump, Annegret Habel

Publication date 24 June 1997

zbMATH Keywords

narrowingconvergent term rewriting system

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Grammars and rewriting systems (68Q42)

Recommendations

• Publication:4941932
• Narrowing directed by a graph of terms
• Solving equations by graph transformation
• scientific article; zbMATH DE number 1231490
• Basic narrowing revisited

Cited in

(15)

• Bisimilarity in term graph rewriting.
• Enumerating outer narrowing derivations for constructor-based term rewriting systems
• Operational semantics for declarative multi-paradigm languages
• Termination of narrowing revisited
• GETGRATS: a summary of scientific results (with annotated bibliography)
• Narrowing Data-Structures with Pointers
• Narrowing trees for syntactically deterministic conditional term rewriting systems
• scientific article; zbMATH DE number 1418369 (Why is no real title available?)
• Basic narrowing revisited
• Solving equations by graph transformation
• scientific article; zbMATH DE number 1420819 (Why is no real title available?)
• Transformation of shaped nested graphs and diagrams
• Narrowing directed by a graph of terms
• scientific article; zbMATH DE number 4041327 (Why is no real title available?)
• Functional Logic Programming: From Theory to Curry

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