Pages that link to "Item:Q1884881"
From MaRDI portal
The following pages link to Linearisability on Datalog programs (Q1884881):
Displaying 9 items.
- Datalog rewritability of disjunctive Datalog programs and non-Horn ontologies (Q286087) (← links)
- A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic (Q831915) (← links)
- A semantic approach to optimize linear datalog programs (Q854685) (← links)
- Generalization of ZYT-linearizability for bilinear datalog programs (Q1887164) (← links)
- A tetrachotomy of ontology-mediated queries with a covering axiom (Q2152500) (← links)
- (Q3798292) (← links)
- (Q5015369) (← links)
- Generating Specialized Rules and Programs for Demand-Driven Analysis (Q5505434) (← links)
- Datalog LITE (Q5738951) (← links)