✦ LIBER ✦
[Lecture Notes in Computer Science] 9th International Conference on Automated Deduction Volume 310 || Finding canonical rewriting systems equivalent to a finite set of ground equations in polynomial time
✍ Scribed by Lusk, Ewing; Overbeek, Ross
- Book ID
- 121080172
- Publisher
- Springer-Verlag
- Year
- 1988
- Tongue
- German
- Weight
- 801 KB
- Edition
- 1988
- Category
- Article
- ISBN-13
- 9783540193432
No coin nor oath required. For personal study only.