XPlain

swMATH38095MaRDI QIDQ53795FDOQ53795

Author name not available (Why is that?)

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

Cited In (2)

• Varieties of regular semigroups with uniquely defined inversion
• ProverX

This page was built for software: XPlain