Ilies Alouini;Claude Kirchner
-;-
The Existential Fragment of the One-Step Parallel Rewriting Theory
RTA '09 Proceedings of the 20th International Conference on Rewriting Techniques and Applications
Rule-Based Constraint Programming
Fundamenta Informaticae