The following pages link to (Q3086932):
Displaying 12 items.
- A logical approach to locality in pictures languages (Q295631) (← links)
- Subshifts as models for MSO logic (Q384929) (← links)
- Second-order propositional modal logic and monadic alternation hierarchies (Q466445) (← links)
- Regular sets over extended tree structures (Q764339) (← links)
- Counting on CTL\(^*\): On the expressive power of monadic path logic (Q1398378) (← links)
- A duality theoretic view on limits of finite structures (Q2200829) (← links)
- Complete Axiomatizations of MSO, FO(TC 1 ) and FO(LFP 1 ) on Finite Trees (Q3605529) (← links)
- Subshifts, Languages and Logic (Q3637233) (← links)
- (Q4218948) (← links)
- Prefix-Recognizable Graphs and Monadic Logic (Q4412838) (← links)
- (Q4783300) (← links)
- (Q5028470) (← links)