Pages that link to "Item:Q689202"
From MaRDI portal
The following pages link to Single axioms for the left group and right group calculi (Q689202):
Displayed 6 items.
- A method for finding new sets of axioms for classes of semigroups. (Q453187) (← links)
- Using the prover ANDP to simplify orthogonality. (Q1412831) (← links)
- Simplifying von Plato's axiomatization of constructive apartness geometry (Q1964142) (← links)
- Basis reduction for cryptogroups and orthogroups (Q2216527) (← links)
- Computer Solutions of Problems in Inverse Semigroups (Q3562322) (← links)
- The Legacy of a Great Researcher (Q4913858) (← links)