The following pages link to Computable Models (Q5385205):
Displaying 11 items.
- Type-theoretic logic with an operational account of intensionality (Q514081) (← links)
- Computability of homogeneous models (Q998144) (← links)
- A new spectrum of computable models (Q1943912) (← links)
- Mathematical models as research data via flexiformal theory graphs (Q2364682) (← links)
- Mathematical Models: A Research Data Category? (Q2819253) (← links)
- (Q3400645) (← links)
- On the Computational Capabilities of Several Models (Q3608466) (← links)
- (Q4986663) (← links)
- (Q5414602) (← links)
- Foundations of Software Science and Computational Structures (Q5705887) (← links)
- Model-based computation (Q6061994) (← links)