Datalog LITE
From MaRDI portal
Publication:5738951
Recommendations
Cited in
(12)- A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic
- Queries on XML streams with bounded delay and concurrency
- On temporal logic versus Datalog
- Guarded fixed point logics and the monadic theory of countable trees.
- Datalog LITE
- Efficient inclusion checking for deterministic tree automata and XML schemas
- scientific article; zbMATH DE number 1696779 (Why is no real title available?)
- Evaluating Datalog via tree automata and cycluits
- Positive Dedalus programs tolerate non-causality
- scientific article; zbMATH DE number 7104937 (Why is no real title available?)
- Extending co-logic programs for branching-time model checking
- Robbers, marshals, and guards: Game theoretic and logical characterizations of hypertree width.
This page was built for publication: Datalog LITE
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5738951)