Solving equations by graph transformation

DOI10.1016/S1571-0661(04)80200-7MaRDI QIDQ4923538zbMATH OpenOpenAlexFDO

Authors Detlef Plump, Annegret Habel

Publication date 24 May 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s1571-0661(04)80200-7

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

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

Cites work

• A deterministic lazy narrowing calculus
• A needed narrowing strategy
• Essentials of term graph rewriting
• Graph unification and matching
• Handbook of Graph Grammars and Computing by Graph Transformation
• scientific article; zbMATH DE number 1231490 (Why is no real title available?)
• scientific article; zbMATH DE number 794242 (Why is no real title available?)
• scientific article; zbMATH DE number 1418369 (Why is no real title available?)
• scientific article; zbMATH DE number 1420819 (Why is no real title available?)
• scientific article; zbMATH DE number 969074 (Why is no real title available?)
• scientific article; zbMATH DE number 234035 (Why is no real title available?)
• Lazy narrowing with simplification
• Lazy narrowing: strong completeness and eager variable elimination
• The integration of functions into logic programming: From theory to practice

Cited in

(6)

• Turning SOS rules into equations
• scientific article; zbMATH DE number 1231490 (Why is no real title available?)
• GETGRATS: a summary of scientific results (with annotated bibliography)
• scientific article; zbMATH DE number 1418369 (Why is no real title available?)
• Narrowing directed by a graph of terms
• scientific article; zbMATH DE number 969074 (Why is no real title available?)

This page was built for publication: Solving equations by graph transformation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4923538)