Pages that link to "Item:Q1272238"
From MaRDI portal
The following pages link to Single identities for lattice theory and for weakly associative lattices (Q1272238):
Displaying 6 items.
- A method for finding new sets of axioms for classes of semigroups. (Q453187) (← links)
- Minimum bases for equational theories of groups and rings: The work of Alfred Tarski and Thomas Green (Q598306) (← links)
- Using the prover ANDP to simplify orthogonality. (Q1412831) (← links)
- Simplifying von Plato's axiomatization of constructive apartness geometry (Q1964142) (← links)
- Computer Solutions of Problems in Inverse Semigroups (Q3562322) (← links)
- The Legacy of a Great Researcher (Q4913858) (← links)
