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 5 items.
- CSP duality and trees of bounded pathwidth (Q986555) (← links)
- Program schemes, arrays, Lindström quantifiers and zero-one laws (Q1606129) (← links)
- Dimension Versus Number of Variables, and Connectivity, too (Q4323836) (← links)
- Yet another hierarchy theorem (Q4508250) (← links)
- (Q4625692) (← links)
