The following pages link to Boolean modules (Q1154462):
Displaying 16 items.
- Kleene modules and linear languages (Q817584) (← links)
- Relation algebras and Schröder categories (Q1105596) (← links)
- The origin of relation algebras in the development and axiomatization of the calculus of relations (Q1189893) (← links)
- Dynamic algebras: Examples, constructions, applications (Q1189900) (← links)
- Subsumption computed algebraically (Q1202639) (← links)
- A system of dynamic modal logic (Q1267078) (← links)
- Bjarni Jónsson's contributions in algebra (Q1327458) (← links)
- Peirce algebras (Q1333408) (← links)
- Multigrade extension of relational grammar (Q1602556) (← links)
- Power structures (Q1802251) (← links)
- The logic of Peirce algebras (Q1909608) (← links)
- Monoids with tests and the algebra of possibly non-halting programs (Q2258843) (← links)
- Inductive semimodules and the vector modules over them. (Q2391239) (← links)
- Congruences and ideals on Boolean modules: a heterogeneous point of view (Q3107341) (← links)
- Dynamic logic with program specifications and its relational proof system (Q4291023) (← links)
- ON STRUCTURAL QUASI-IDEALS AND THEIR IDEALIZERS IN STRUCTURAL MATRIX RINGS (Q4729928) (← links)