Abstract reduction systems and idea of Knuth-Bendix completion algorithm
From MaRDI portal
Publication:467811
DOI10.2478/forma-2014-0005zbMath1298.68120OpenAlexW808839412MaRDI QIDQ467811
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
Cites Work