Keyword:graph rewriting

Publications
A PBPO+ Graph Rewriting Tutorial Roy Overbeek and Joerg Endrullis EasyChair Preprint 8741
Graph Path Orderings Nachum Dershowitz and Jean-Pierre Jouannaud In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Parallel Graph Rewriting with Overlapping Rules Rachid Echahed and Aude Maignan In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Synthesising Graphical Theories Aleks Kissinger In:ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation