The following pages link to Computing with infinitary logic (Q672337):
Displaying 13 items.
- Logic programming with infinite sets (Q812390) (← links)
- Reflective relational machines (Q1271557) (← links)
- Topological queries in spatial databases (Q1305920) (← links)
- Reasoning about infinite computations (Q1341752) (← links)
- Adding for-loops to first-order logic (Q1854443) (← links)
- Computing with first-order logic (Q1892224) (← links)
- (Q3221399) (← links)
- (Q4029601) (← links)
- Computing on structures (Q4630296) (← links)
- Computable Queries for Object Oriented Databases (Q4916216) (← links)
- Computing with Infinite Terms and Infinite Reductions (Q5208870) (← links)
- The Relational Polynomial-Time Hierarchy and Second-Order Logic (Q5504578) (← links)
- On the expressibility and the computability of untyped queries (Q5936000) (← links)