×

zbMATH — the first resource for mathematics

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