The following pages link to (Q3744163):
Displaying 5 items.
- Total correctness in nonstandard logics of programs (Q580955) (← links)
- A simple proof for the completeness of Floyd's method (Q801661) (← links)
- On the strength of temporal proofs (Q809066) (← links)
- Nonconstructive computational mathematics (Q1272604) (← links)
- Recursive programs and denotational semantics in absolute logics of programs (Q2639051) (← links)