scientific article; zbMATH DE number 969074

MaRDI QIDQ5284550zbMATH OpenFDO

Authors Detlef Plump, Annegret Habel

Publication date 24 June 1997

zbMATH Keywords

convergent term rewriting systemnarrowing

Mathematics Subject Classification ID

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

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

(16)

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

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)