The following pages link to (Q3322163):
Displaying 9 items.
- Equational type logic (Q752689) (← links)
- A systematic study of models of abstract data types (Q801667) (← links)
- Partial Horn logic and Cartesian categories (Q866572) (← links)
- Axiomatizing relativistic dynamics without conservation postulates (Q941737) (← links)
- An algebraic approach to the syntax and semantics of languages with subscripted variables (Q1053444) (← links)
- A foundation for conceptual data structures by cylindric and partial algebras (Q1094154) (← links)
- Partial abstract types (Q1169290) (← links)
- Algebraic theory of quasivarieties of heterogeneous partial algebras (Q1770604) (← links)
- Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras (Q1838960) (← links)
