Sciweavers

76
Voted
FROCOS
2009
Springer

Termination Modulo Combinations of Equational Theories

15 years 3 months ago
Termination Modulo Combinations of Equational Theories
Francisco Durán, Salvador Lucas, José
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where FROCOS
Authors Francisco Durán, Salvador Lucas, José Meseguer
Comments (0)