TY  - RPRT
TI  - The Algebra of Recursive Graph Transformation Language UnCAL: Complete Axiomatisation and Iteration Categorical Semantics
AU  - Makoto Hamana
AU  - Kazutaka Matsuda
AU  - Kazuyuki Asada
PY  - 2016
UR  - https://arxiv.org/abs/1511.08851
ID  - 1511.08851
ER  -