Pages that link to "Item:Q1919531"
From MaRDI portal
The following pages link to Hierarchies in transitive closure logic, stratified Datalog and infinitary logic (Q1919531):
Displaying 11 items.
- CSP duality and trees of bounded pathwidth (Q986555) (← links)
- Program schemes, arrays, Lindström quantifiers and zero-one laws (Q1606129) (← links)
- On the power of deterministic transitive closures (Q1893732) (← links)
- A double arity hierarchy theorem for transitive closure logic (Q1913297) (← links)
- Hierarchies in Inclusion Logic with Lax Semantics (Q2937394) (← links)
- Hierarchies in Dependence Logic (Q2946680) (← links)
- On a hierarchy involving transitive closure logic and existential second-order quantification (Q3147357) (← links)
- (Q4230339) (← links)
- Dimension Versus Number of Variables, and Connectivity, too (Q4323836) (← links)
- Yet another hierarchy theorem (Q4508250) (← links)
- (Q4625692) (← links)