A Formalization of the Knuth–Bendix(–Huet) Critical Pair Theorem
André L. Galdino, Mauricio Ayala-RincónVolume:
45
Language:
english
Pages:
25
DOI:
10.1007/s10817-010-9165-2
Date:
October, 2010
File:
PDF, 525 KB
english, 2010