Pages that link to "Item:Q817586"
From MaRDI portal
The following pages link to Partiality. I: Embedding relation algebras (Q817586):
Displaying 8 items.
- Multirelations with infinite computations (Q406449) (← links)
- Gunther Schmidt's life as a mathematician and computer scientist (Q406464) (← links)
- An algebraic approach to multirelations and their properties (Q516032) (← links)
- Imperative abstractions for functional actions (Q604455) (← links)
- Partiality. II: Constructed relation algebras (Q1931901) (← links)
- A Relation-Algebraic Approach to Multirelations and Predicate Transformers (Q2941166) (← links)
- Lazy Relations (Q3498411) (← links)
- Boolean Algebras and Stone Maps in Schröder Categories (Q3498419) (← links)
