Pages that link to "Item:Q2639051"
From MaRDI portal
The following pages link to Recursive programs and denotational semantics in absolute logics of programs (Q2639051):
Displaying 4 items.
- On the strength of temporal proofs (Q809066) (← links)
- Some general incompleteness results for partial correctness logics (Q1110500) (← links)
- Is ``Some-other-time'' sometimes better than ``Sometime'' for proving partial correctness of programs? (Q1825630) (← links)
- Changing a Semantics: Opportunism or Courage? (Q3454820) (← links)
