Deutsche Gesellschaftfür phänomenologische Forschung
Zeitschrift | Autoren
(2000-2009)
From obj to maude and beyond
2006
José Meseguer
in: Algebra, meaning, and computation, Dordrecht : Springer
Algebra, meaning, and computation
herausgegeben vonKokichi FutatsugiJean-Pierre JouannaudJosé Meseguer
Dordrecht, Springer
