The following pages link to (Q3700872):
Displaying 3 items.
- Mechanical translation of set theoretic problem specifications into efficient RAM code - a case study (Q1100879) (← links)
- A derived algorithm for evaluating \(\varepsilon\)-expressions over abstract sets (Q1322849) (← links)
- Translating relational queries into iterative programs (Q1801247) (← links)