The following pages link to (Q4362882):
Displaying 11 items.
- Imperative abstractions for functional actions (Q604455) (← links)
- An algebraic framework for minimum spanning tree problems (Q1786562) (← links)
- Monomorphic characterization of \(n\)-ary direct products (Q1961870) (← links)
- Verifying minimum spanning tree algorithms with Stone relation algebras (Q1994364) (← links)
- Weak \(n\)-ary relational products in allegories (Q2345058) (← links)
- Relational Semantics Revisited (Q2810687) (← links)
- Relation-Algebraic Verification of Prim’s Minimum Spanning Tree Algorithm (Q3179390) (← links)
- A Relation Algebraic Semantics for a Lazy Functional Logic Language (Q3498404) (← links)
- Lazy Relations (Q3498411) (← links)
- The $$\theta $$-Join as a Join with $$\theta $$ (Q5098712) (← links)
- Stone Relation Algebras (Q5283207) (← links)
