Pages that link to "Item:Q817849"
From MaRDI portal
The following pages link to On the expressive power of monadic least fixed point logic (Q817849):
Displaying 6 items.
- Extensions of MSO and the monadic counting hierarchy (Q617710) (← links)
- Counting on CTL\(^*\): On the expressive power of monadic path logic (Q1398378) (← links)
- (Q4783300) (← links)
- (Q5018506) (← links)
- Automata, Languages and Programming (Q5466543) (← links)
- A logical description of priority separable games (Q6562527) (← links)