Maura Cerioli;José Meseguer
-;-
Parameterisation of Logics
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Monadic extensions of institutions
Fuzzy Sets and Systems