- Algebraic approach to single-pushout graph transformation Michael Løwe Fri 21 December 2012
- On the Decidability Status of Reachability and Coverability in Graph Transformation Systems Nathalie Bertrand Giorgio Delzanno Barbara Kønig Arnaud Sangnier Jan Stuckrath Tue 18 December 2012
Library Size: 13G (2 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
