Pages that link to "Item:Q1183571"
From MaRDI portal
The following pages link to An analysis of fixed-point queries on binary trees (Q1183571):
Displaying 6 items.
- An algebraic approach to the prefix model analysis of binary trie structures and set intersection algorithms (Q1381820) (← links)
- Finite Variable Logics in Descriptive Complexity Theory (Q4254565) (← links)
- (Q4385986) (← links)
- Computing on structures (Q4630296) (← links)
- Implicit definability and infinitary logic in finite model theory (Q4645216) (← links)
- The expressive power of revised Datalog on problems with closure properties (Q6562535) (← links)