ProverX

swMATH39853MaRDI QIDQ55553FDOQ55553

Author name not available (Why is that?)

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

Cited In (3)

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

This page was built for software: ProverX