Pages that link to "Item:Q4302858"
From MaRDI portal
The following pages link to Floyd-Hoare logic in iteration theories (Q4302858):
Displaying 10 items.
- Semantic models for total correctness and fairness (Q1208419) (← links)
- On the completeness of propositional Hoare logic (Q1602554) (← links)
- A note on guarded theories (Q1813969) (← links)
- Context-free series on trees (Q1854452) (← links)
- Equational theories for automata (Q2074221) (← links)
- Matrix and matricial iteration theories. II (Q2366692) (← links)
- Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview (Q2946322) (← links)
- Equational axioms for regular sets (Q4279247) (← links)
- A Fully Equational Proof of Parikh's Theorem (Q4787831) (← links)
- Equational properties of fixed-point operations in cartesian categories: An overview (Q5377703) (← links)
