Pages that link to "Item:Q1858999"
From MaRDI portal
The following pages link to Approximability of some program models by others (Q1858999):
Displaying 4 items.
- On the inference of approximate programs (Q803121) (← links)
- Structural models of algorithms in problems of applied programming. II: Structural-algorithmic approach to software simulation (Q1040419) (← links)
- (Q3063993) (← links)
- Approximation of abstract semantics by formal models of programs (Q4522757) (← links)