The following pages link to (Q3325017):
Displaying 6 items.
- Total correctness in nonstandard logics of programs (Q580955) (← links)
- On the strength of temporal proofs (Q809066) (← links)
- Non-standard algorithmic and dynamic logic (Q1077159) (← links)
- Recursive programs and denotational semantics in absolute logics of programs (Q2639051) (← links)
- (Q3696492) (← links)
- (Q5695177) (← links)