Pages that link to "Item:Q1100879"
From MaRDI portal
The following pages link to Mechanical translation of set theoretic problem specifications into efficient RAM code - a case study (Q1100879):
Displayed 4 items.
- An NSF proposal (Q815007) (← links)
- State-variable planning under structural restrictions: algorithms and complexity (Q1128767) (← links)
- Program construction by verifying specification (Q1273080) (← links)
- An algorithm for handling many relational calculus queries efficiently. (Q1872707) (← links)