The following pages link to (Q5798843):
Displayed 6 items.
- Galois connection for multiple-output operations (Q1652848) (← links)
- Invariance and definability, with and without equality (Q1704087) (← links)
- Algebra of algorithms and Kaluzhnin's graph-schemas (Q1905123) (← links)
- Les algèbres cylindriques (Q3262261) (← links)
- (Q4154615) (← links)
- Automorphisms and strongly invariant relations (Q6137589) (← links)