ANIGRAF: An Interactive System for the Animation of Graph Rewriting Systems with Priorities

Michel Billaud. ANIGRAF: An Interactive System for the Animation of Graph Rewriting Systems with Priorities. In Ronald V. Book, editor, International Conference on Rewriting Techniques and Applications. Volume 488 of Lecture Notes in Computer Science, pages 437-438, Springer, Como, Italy, 1991.

Abstract

Abstract is missing.