The following pages link to (Q4766001):
Displaying 4 items.
- Transformational approach to program concretization (Q808279) (← links)
- Analysis of program optimization possibilities and further development (Q808282) (← links)
- Generalized \({}^{1,5}\) sequential machine maps (Q1252717) (← links)
- Equivalence of conservative, free, linear program schemas is decidable (Q1853616) (← links)