Login / Signup

A functional reformulation of UnCAL graph-transformations: or, graph transformation as graph reduction.

Kazutaka MatsudaKazuyuki Asada
Published in: PEPM (2017)
Keyphrases