ProverX

MaRDI QIDQ55553swMATHFDO

Official website https://docentes.fct.unl.pt/jj-araujo/software/proverx

Cited in

(3)

• Varieties of regular semigroups with uniquely defined inversion
• XPlain
• Basis reduction for cryptogroups and orthogroups

This page was built for software: ProverX