Changing Labels in the Double-Pushout Approach Can Be Treated Categorically.
discussion
This publication has not been reviewed yet.
rating distribution
average user rating
?
The average rating is computed over all reviews. However, some of them may be invisible to you due to the visibility setting chosen by the reviewers.
- Formal Methods in Software and Systems Modeling, volume 3393 of Lecture Notes in Computer Science, page 134-149. Springer, (2005)
- Formal Methods in Software and Systems Modeling, volume 3393 of Lecture Notes in Computer Science, Springer, (2005)


publication