DOI10.2478/forma-2014-0005zbMath1298.68120MaRDI QIDQ467811
Grzegorz Bancerek
Publication date: 5 November 2014 Published in: Formalized Mathematics (Search for Journal in Brave) Full work available at URL: https://doi.org/10.2478/forma-2014-0005
zbMATH Keywords
abstract reduction systems; Knuth-Bendix algorithm
Mathematics Subject Classification ID
03B35: Mechanization of proofs and logical operations
68Q42: Grammars and rewriting systems