The following pages link to (Q3138859):
Displaying 17 items.
- Nearlattices with an overriding operation (Q633219) (← links)
- Algebraic transformation of unary partial algebras. I: Double-pushout approach (Q1390937) (← links)
- Algebraic theory of quasivarieties of heterogeneous partial algebras (Q1770604) (← links)
- Quasi-varieties: A special access (Q1770610) (← links)
- A functorial semantics for multi-algebras and partial algebras, with applications to syntax. (Q1853456) (← links)
- Single pushout rewriting in comprehensive systems of graph-like structures (Q2049985) (← links)
- Characteristic inference rules (Q2342800) (← links)
- Characteristic formulas of partial Heyting algebras (Q2392011) (← links)
- Extensions and congruences of partial lattices (Q2697637) (← links)
- Classifying categories for partial equational logic (Q2842828) (← links)
- Unitary Theories, Unitary Categories (Q3178243) (← links)
- Binding in Nominal Equational Logic (Q3178258) (← links)
- A Term-Graph Syntax for Algebras over Multisets (Q3184730) (← links)
- On the Algebraic Structure of Conditional Events (Q3451169) (← links)
- (Q3621465) (← links)
- (Q3773301) (← links)
- A partial algebras approach to graph transformation (Q4645264) (← links)