The following pages link to (Q4088800):
Displayed 5 items.
- Necessary and sufficient conditions for the universality of programming formalisms (Q801666) (← links)
- Equivalences among logics of programs (Q801684) (← links)
- Definability by programs in first-order structures (Q1171876) (← links)
- Query languages for hierarchic databases (Q1201723) (← links)
- Real number computation through Gray code embedding. (Q1607300) (← links)