✦ LIBER ✦
[Lecture Notes in Computer Science] Conditional and Typed Rewriting Systems Volume 968 || Church-Rosser property and unique normal form property of non-duplicating term rewriting systems
✍ Scribed by Dershowitz, Nachum; Lindenstrauss, Naomi
- Book ID
- 111910377
- Publisher
- Springer Berlin Heidelberg
- Year
- 1995
- Weight
- 816 KB
- Category
- Article
- ISBN
- 3540455132
No coin nor oath required. For personal study only.