Pages that link to "Item:Q1817112"
From MaRDI portal
The following pages link to Recursive programs and the hierarchy of their models (Q1817112):
Displaying 6 items.
- Studies in the theory of algebraic models of programs with procedures (Q300376) (← links)
- Simple Models for Recursive Schemes (Q2912708) (← links)
- (Q3060985) (← links)
- Transformations of programs (Q3984744) (← links)
- (Q5012918) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5898623) (← links)