The following pages link to Guilherme Grochau Azzi (Q1663984):
Displaying 6 items.
- On the essence and initiality of conflicts (Q1663985) (← links)
- On the essence of parallel independence for the double-pushout and sesqui-pushout approaches (Q1708174) (← links)
- The Verigraph system for graph transformation (Q1708186) (← links)
- (Q1784780) (redirect page) (← links)
- Verigraph: a system for specification and analysis of graph grammars (Q1784784) (← links)
- On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems (Q2011208) (← links)
