Solving Equations by Graph Transformation

DOI10.1016/S1571-0661(04)80200-7zbMath1263.68077OpenAlexW2084833937MaRDI QIDQ4923538

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)

Related Items (1)

GETGRATS

Cites Work

• Lazy narrowing: strong completeness and eager variable elimination
• A deterministic lazy narrowing calculus
• A needed narrowing strategy
• The integration of functions into logic programming: From theory to practice
• Lazy narrowing with simplification
• Graph unification and matching
• Essentials of Term Graph Rewriting
• Handbook of Graph Grammars and Computing by Graph Transformation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Solving Equations by Graph Transformation