Pages that link to "Item:Q5108510"
From MaRDI portal
The following pages link to The Expressive Power of Higher-Order Datalog (Q5108510):
Displaying 7 items.
- The complexity of higher-order queries (Q498405) (← links)
- On the expressive power of Datalog: tools and a case study. (Q960526) (← links)
- Circumscribing DATALOG: expressive power and complexity (Q1127538) (← links)
- The expressive powers of stable models for bound and unbound DATALOG queries (Q1362337) (← links)
- How expressive is stratified aggregation? (Q1924786) (← links)
- Computing queries with higher-order logics (Q2369013) (← links)
- Declarative Data Analysis Using Limit Datalog Programs (Q6488099) (← links)