The following pages link to (Q4744268):
Displaying 6 items.
- Non-standard algorithmic and dynamic logic (Q1077159) (← links)
- On the programs-as-formulas interpretation of parallel programs in Peano arithmetic (Q1100878) (← links)
- Nonstandard methods in combinatorics and theoretical computer science (Q1118589) (← links)
- Weak second order characterizations of various program verification systems (Q1124311) (← links)
- Enlargements of functional algebras for the lambda calculus (Q1129261) (← links)
- A faithful embedding of parallel computations in star-finite models (Q1825641) (← links)
