scientific article; zbMATH DE number 969074

zbMATH Open0864.68073MaRDI QIDQ5284550FDOQ5284550

Authors: Detlef Plump, Annegret Habel 

Publication date: 24 June 1997

Title of this publication is not available (Why is that?)

Recommendations

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

zbMATH Keywords

narrowingconvergent term rewriting system

Mathematics Subject Classification ID

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

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
• Title not available (Why is that?)
• Basic narrowing revisited
• Solving equations by graph transformation
• Title not available (Why is that?)
• Transformation of shaped nested graphs and diagrams
• Narrowing directed by a graph of terms
• Title not available (Why is that?)
• 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)