Pages that link to "Item:Q3575271"
From MaRDI portal
The following pages link to Partial, Total and General Correctness (Q3575271):
Displayed 6 items.
- Fixpoints for general correctness (Q549677) (← links)
- Algebras for iteration and infinite computations (Q715050) (← links)
- Typing theorems of omega algebra (Q1931900) (← links)
- Infinite executions of lazy and strict computations (Q2347906) (← links)
- Unifying Lazy and Strict Computations (Q2915133) (← links)
- On Completeness of Omega-Regular Algebras (Q2915143) (← links)