A Higher-order Calculus for Graph Transformation

Research output: Chapter in Book/Report/Conference proceedingConference paper

6 Citations (Scopus)

Fingerprint

Dive into the research topics of 'A Higher-order Calculus for Graph Transformation'. Together they form a unique fingerprint.

Computer Science