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]
@inproceedings{DuranLM09-0,
title = {Termination Modulo Combinations of Equational Theories},
author = {Francisco Durán and Salvador Lucas and José Meseguer},
year = {2009},
doi = {10.1007/978-3-642-04222-5_15},
url = {http://dx.doi.org/10.1007/978-3-642-04222-5_15},
tags = {termination},
researchr = {https://researchr.org/publication/DuranLM09-0},
cites = {0},
citedby = {0},
pages = {246-262},
booktitle = {Frontiers of Combining Systems, 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings},
editor = {Silvio Ghilardi and Roberto Sebastiani},
volume = {5749},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-04221-8},
}