scientific article; zbMATH DE number 969074

zbMATH Open0864.68073MaRDI QIDQ5284550FDOQ5284550

Annegret Habel, Detlef Plump

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 (12)

• Bisimilarity in term graph rewriting.
• Enumerating outer narrowing derivations for constructor-based term rewriting systems
• Operational semantics for declarative multi-paradigm languages
• Solving Equations by Graph Transformation
• Title not available (Why is that?)
• Basic narrowing revisited
• 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
• GETGRATS

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)