The following pages link to (Q4130976):
Displaying 14 items.
- Non-recursiveness of the operations on real numbers (Q909437) (← links)
- A simple dynamic logic (Q1087866) (← links)
- First-order approximation of algorithmic theories (Q1095655) (← links)
- Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic (Q1139368) (← links)
- Application of modal logic to programming (Q1150592) (← links)
- Proving total correctness of nondeterministic programs in infinitary logic (Q1155605) (← links)
- A formal system for parallel programs in discrete time and space (Q1157161) (← links)
- Floyd's principle, correctness theories and program equivalence (Q1158948) (← links)
- Process logic: Expressiveness, decidability, completeness (Q1168965) (← links)
- Infinitary calculus for a restricted first-order linear temporal logic without contraction on quantified formulas (Q1589838) (← links)
- On strictly arithmetical completeness in logics of programs (Q2277248) (← links)
- Invertible infinitary calculus without loop rules for restricted FTL (Q2577594) (← links)
- (Q3883458) (← links)
- Analysis and synthesis of structured parallel programs (Q3956376) (← links)
