[Lecture Notes in Computer Science] STACS 94 Volume 775 || About changing the ordering during Knuth-Bendix completion

✍ Scribed by Enjalbert, Patrice; Mayr, Ernst W.; Wagner, Klaus W.

• Book ID: 121079446
• Publisher: Springer Berlin Heidelberg
• Year: 1994
• Weight: 851 KB
• Category: Article
• ISBN: 3540483322
• DOI: 10.1007/3-540-57785-8_140