The following pages link to (Q4992511):
Displaying 6 items.
- Monadic partition logics and finite automata (Q671644) (← links)
- Hierarchies of weak automata and weak monadic formulas (Q805253) (← links)
- Second-order finite automata: expressive power and simple proofs using automatic structures (Q832943) (← links)
- A logic-based approach to incremental reasoning on multi-agent systems (Q2089459) (← links)
- (Q2984653) (← links)
- (Q5092440) (← links)