The following pages link to (Q5626601):
Displayed 7 items.
- The propositional dynamic logic of deterministic, well-structured programs (Q801682) (← links)
- Non-standard algorithmic and dynamic logic (Q1077159) (← links)
- Program-substitution and admissibility of rules in algorithmic logic (Q1092655) (← links)
- Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic (Q1139368) (← links)
- Hoare's logic for nondeterministic regular programs: A nonstandard approach (Q1822934) (← links)
- Contribution of Warsaw logicians to computational logic (Q2422533) (← links)
- On the Completeness of Dynamic Logic (Q3617722) (← links)