The following pages link to (Q3886835):
Displayed 5 items.
- Non-standard algorithmic and dynamic logic (Q1077159) (← links)
- A complete logic for reasoning about programs via nonstandard model theory. I (Q1159460) (← links)
- A complete logic for reasoning about programs via nonstandard model theory. II (Q1159461) (← links)
- Temporal theories as modularisation units for concurrent system specification (Q1192604) (← links)
- Recursive programs and denotational semantics in absolute logics of programs (Q2639051) (← links)