Termination Modulo Combinations of Equational Theories

Francisco Durán, Salvador Lucas, José Meseguer. Termination Modulo Combinations of Equational Theories. In Silvio Ghilardi, Roberto Sebastiani, editors, Frontiers of Combining Systems, 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings. Volume 5749 of Lecture Notes in Computer Science, pages 246-262, Springer, 2009. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.