The following pages link to On Datalog vs. LFP (Q3519499):
Displaying 7 items.
- Datalog vs first-order logic (Q1342861) (← links)
- (Q5028455) (← links)
- (Q5091112) (← links)
- Datalog Queries Distributing over Components (Q5278203) (← links)
- The expressive power of revised Datalog on problems with closure properties (Q6562535) (← links)
- On the descriptive complexity of temporal constraint satisfaction problems (Q6567262) (← links)
- Constraint satisfaction, graph isomorphism, and the pebbling comonad (Q6612794) (← links)