The following pages link to (Q4412246):
Displaying 6 items.
- Rapid construction of algebraic axioms from samples (Q1179710) (← links)
- Finite axiomatizability and theories with trivial algebraic closure (Q1183711) (← links)
- E-generalization using grammars (Q2457667) (← links)
- A FAMILY OF FINITE DE MORGAN AND KLEENE ALGEBRAS (Q4650071) (← links)
- (Q5144649) (← links)
- An axiomatic approach to algebrization (Q5172767) (← links)