The following pages link to Computing with infinitary logic (Q672337):
Displaying 6 items.
- Reflective relational machines (Q1271557) (← links)
- Topological queries in spatial databases (Q1305920) (← links)
- Computing on structures (Q4630296) (← links)
- Computable Queries for Object Oriented Databases (Q4916216) (← links)
- The Relational Polynomial-Time Hierarchy and Second-Order Logic (Q5504578) (← links)
- On the expressibility and the computability of untyped queries (Q5936000) (← links)
