A complete proof of correctness of the Knuth-Bendix completion algorithm
Abstract
summary
INRIA.HAL.SCIENCE Web Portal Publications, softwares... of Inria fellow Academics |
Rapport De Recherche Inria : Connect in order to contact the contributor
https://inria.hal.science/inria-00076536
Submitted on : Wednesday, May 24, 2006-9:15:22 PM
Last modification on : Tuesday, February 7, 2023-3:41:46 AM
Long-term archiving on: Friday, May 13, 2011-9:50:55 PM