Confluence of right ground term rewriting systems is decidable

Kaiser, Lukasz

Heidelberg [u.a.] : Springer (2005)
Contribution to a book, Contribution to a conference proceedings

In: Foundations of software science and computation structures : 8th International Conference, FOSSACS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005 ; proceedings / Vladimiro Sassone (ed.)
Page(s)/Article-Nr.: 470-489