swMATH28894MaRDI QIDQ40608FDOQ40608
Author name not available (Why is that?)
Official website: https://dl.acm.org/citation.cfm?doid=504077.504079
Cited In (13)
- A guarded fragment for abstract state machines
- Guarded fixed point logics and the monadic theory of countable trees.
- Efficient inclusion checking for deterministic tree automata and XML schemas
- Queries on XML streams with bounded delay and concurrency
- Positive Dedalus programs tolerate non-causality
- Title not available (Why is that?)
- FALKO
- STeLP
- Ltur
- NP Datalog
- Evaluating Datalog via tree automata and cycluits
- The semijoin algebra and the guarded fragment
- DatalogMTL
This page was built for software: Datalog LITE
