Pages that link to "Item:Q3470464"
From MaRDI portal
The following pages link to Finite axiomatizability for equational theories of computable groupoids (Q3470464):
Displaying 4 items.
- Equational theories of unstable involution semigroups (Q1757281) (← links)
- Equational theories of semigroups with involution. (Q1946106) (← links)
- Computer and Human Reasoning: Single Implicative Axioms for Groups and for Abelian Groups (Q4345023) (← links)
- THE FINITE BASIS PROBLEM FOR INVOLUTION SEMIGROUPS OF TRIANGULAR MATRICES (Q5212965) (← links)