Pages that link to "Item:Q715050"
From MaRDI portal
The following pages link to Algebras for iteration and infinite computations (Q715050):
Displaying 8 items.
- An algebraic approach to computations with progress (Q299188) (← links)
- Multirelations with infinite computations (Q406449) (← links)
- Verifying minimum spanning tree algorithms with Stone relation algebras (Q1994364) (← links)
- Kleene star, subexponentials without contraction, and infinite computations (Q2234420) (← links)
- Infinite executions of lazy and strict computations (Q2347906) (← links)
- Unifying Lazy and Strict Computations (Q2915133) (← links)
- A Hierarchy of Algebras for Boolean Subsets (Q5098719) (← links)
- Stone Relation Algebras (Q5283207) (← links)
