14 Nov
2013
14 Nov
'13
11:11 p.m.
Miguel Ramos <org.haskell <at> miguel.ramos.name> writes:
tool for the stepwise visualisation of graph reduction?
I'm pretty sure the Graph Transformation community has lots. A typical venue is http://www.informatik.uni-bremen.de/icgt2012/ - J.W.