Pages that link to "Item:Q911748"
From MaRDI portal
The following pages link to Command algebras, recursion and program transformation (Q911748):
Displaying 8 items.
- On guarded recursion (Q805246) (← links)
- Reasoning algebraically about recursion (Q1193743) (← links)
- Processes and formalisms for unbounded choice (Q1193892) (← links)
- Combining angels, demons and miracles in program specifications (Q1199826) (← links)
- Proof rules for recursive procedures (Q1329196) (← links)
- The weakest precondition calculus: Recursion and duality (Q1346768) (← links)
- Program algebras of recursive functions (Q4341956) (← links)
- ON SOME PROPERTIES OF A Γ-SEMIRING (Q5074045) (← links)