Ein algebraischer Beweis für das Church-Rosser-Theorem
- 1 December 1972
- journal article
- Published by Springer Nature in Archive for Mathematical Logic
- Vol. 15 (3-4) , 146-157
- https://doi.org/10.1007/bf02008531
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Universal AlgebraPublished by Springer Nature ,1979
- An Abstract form of the church-rosser theorem. IThe Journal of Symbolic Logic, 1970
- Tree-manipulating systems and Church-Rosser TheoremsPublished by Association for Computing Machinery (ACM) ,1970
- Some properties of conversionTransactions of the American Mathematical Society, 1936