Similar Items: Linear Datalog and Bounded Path Duality of Relational Structures
- $n$-permutability and linear Datalog implies symmetric Datalog
- The Complexity of Datalog on Linear Orders
- Datalog Rewritings of Regular Path Queries using Views
- Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds
- Duality for powerset coalgebras
- A duality theoretic view on limits of finite structures: Extended version