The following pages link to (Q5284550):
Displaying 6 items.
- Bisimilarity in term graph rewriting. (Q1854321) (← links)
- Operational semantics for declarative multi-paradigm languages (Q2456574) (← links)
- Transformation of Shaped Nested Graphs and Diagrams1 1This work has been partially supported by the ESPRIT Working Group Applications of Graph Transformation (Appligraph). (Q2841248) (← links)
- Functional Logic Programming: From Theory to Curry (Q4916076) (← links)
- GETGRATS (Q4923529) (← links)
- Solving Equations by Graph Transformation (Q4923538) (← links)
