Keyword:Confluent Rewrite Relations

Publications
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