Pages that link to "Item:Q1854332"
From MaRDI portal
The following pages link to Tree canonization and transitive closure (Q1854332):
Displaying 6 items.
- Inherent complexity of recursive queries (Q696953) (← links)
- Counting quantifiers, successor relations, and logarithmic space (Q1362332) (← links)
- Reachability and the power of local ordering (Q1367543) (← links)
- The Serial Transitive Closure Problem for Trees (Q4326856) (← links)
- On fixed-point logic with counting (Q4508261) (← links)
- Separating LREC from LFP (Q6649491) (← links)