The following pages link to (Q4230339):
Displaying 5 items.
- Monadic partition logics and finite automata (Q671644) (← links)
- Hierarchies in transitive closure logic, stratified Datalog and infinitary logic (Q1919531) (← links)
- On the first-order prefix hierarchy (Q2565987) (← links)
- Hierarchies in Inclusion Logic with Lax Semantics (Q2937394) (← links)
- Hierarchies in Dependence Logic (Q2946680) (← links)