Semantical Evaluations as Monadic Second-Order Compatible Structure Transformations.

Bruno Courcelle

Browse the full FOSSACS paper archive.