×

Complete sets of reductions for some equational theories. (English) Zbl 0479.68092


MSC:

68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
08-04 Software, source code, etc. for problems pertaining to general algebraic systems
PDF BibTeX XML Cite
Full Text: DOI