Confluence of right ground term rewriting systems is decidable
Kaiser, Lukasz
Heidelberg [u.a.] / Springer (2005) [Buchbeitrag, Beitrag zu einem Tagungsband]
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.)
Seite(n): 470-489
Identifikationsnummern
- DOI: 10.1007/978-3-540-31982-5_30
- REPORT NUMBER: RWTH-CONV-197725