The following pages link to (Q4002147):
Displaying 4 items.
- A formalization of programs in first-order logic with a discrete linear order (Q274400) (← links)
- Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics (Q687278) (← links)
- A view of programming languages as symbiosis of meaning and computations (Q1079942) (← links)
- Changing a Semantics: Opportunism or Courage? (Q3454820) (← links)