Pages that link to "Item:Q1124311"

The following pages link to Weak second order characterizations of various program verification systems (Q1124311):

Displaying 3 items.

• On the strength of temporal proofs (Q809066) (← links)
• Temporal logics need their clocks (Q1186428) (← links)
• Recursive programs and denotational semantics in absolute logics of programs (Q2639051) (← links)