Parisi Presicce, Francesco, Italy
-
Volume 4: Graph and Model Transformation 2006 - Articles
Termination of Algebraic Rewriting with Inhibitors
Abstract PDF -
Volume 30: Graph and Model Transformation 2010 - Articles
A Termination Criterion for Graph Transformations with Negative Application Conditions
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.