Solving Equations by Graph Transformation
From MaRDI portal
Publication:4923538
DOI10.1016/S1571-0661(04)80200-7zbMath1263.68077OpenAlexW2084833937MaRDI QIDQ4923538
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
Related Items (1)
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