The following pages link to Datalog LITE (Q5738951):
Displaying 12 items.
- Datalog LITE (Q40608) (← links)
- Queries on XML streams with bounded delay and concurrency (Q553309) (← links)
- A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic (Q831915) (← links)
- Efficient inclusion checking for deterministic tree automata and XML schemas (Q1041037) (← links)
- On temporal logic versus Datalog (Q1401358) (← links)
- Robbers, marshals, and guards: Game theoretic and logical characterizations of hypertree width. (Q1401972) (← links)
- Guarded fixed point logics and the monadic theory of countable trees. (Q1853504) (← links)
- Evaluating Datalog via tree automata and cycluits (Q2322722) (← links)
- Positive Dedalus programs tolerate non-causality (Q2453541) (← links)
- (Q2767034) (← links)
- Extending Co-logic Programs for Branching-Time Model Checking (Q3453651) (← links)
- (Q5232911) (← links)