The following pages link to (Q4373705):
Displaying 5 items.
- Equational properties of Kleene algebras of relations with conversion (Q674338) (← links)
- Algebraic theory of quasivarieties of heterogeneous partial algebras (Q1770604) (← links)
- A functorial semantics for multi-algebras and partial algebras, with applications to syntax. (Q1853456) (← links)
- Classifying categories for partial equational logic (Q2842828) (← links)
- (Q4489071) (← links)