inria-00076536, version 1

A complete proof of correctness of the Knuth-Bendix completion algorithm

Gérard Huet ¹

N° RR-0025 (1980)

• 1 :  INRIA Rocquencourt (INRIA Rocquencourt)
• INRIA

• Domaine : Informatique/Autre
• Référence interne : RR-0025

• inria-00076536, version 1
• http://hal.inria.fr/inria-00076536
• oai:hal.inria.fr:inria-00076536
• Contributeur : Rapport De Recherche Inria <>
• Soumis le : Mercredi 24 Mai 2006, 21:15:22
• Dernière modification le : Mardi 28 Octobre 2008, 16:07:20