A.: Counterpart semantics for a secondorder µ-calculus (0)

by F Gadducci, Lluch Lafuente, A Vandin
Venue:Proceedings of the 5th International Conference on Graph Transformation (ICGT’10). LNCS