Termination Modulo Combinations of Equational Theories (0)

by F Durán, S Lucas, J Meseguer
Venue:Sebastiani (Eds.), Proc. of the 7th International Conference on Frontiers of Combining Systems, FroCoS’09