Pages that link to "Item:Q800721"
From MaRDI portal
The following pages link to Computable compositions and universal program logics (Q800721):
Displaying 6 items.
- Foundations of programmology (Q1592005) (← links)
- Theoretical aspects of structured-modular composition programming: Computability of the operations of the algebra of morphisms (Q1905220) (← links)
- Completeness problems in classes of computable named functions (Q3033303) (← links)
- (Q3076189) (← links)
- Composition aspects of programmology. I (Q3790610) (← links)
- Mutual derivability of operations in program algebras. I (Q5750388) (← links)