The following pages link to (Q3253796):
Displaying 10 items.
- Efficient algorithms for membership in Boolean hierarchies of regular languages (Q306282) (← links)
- Hierarchies and reducibilities on regular languages related to modulo counting (Q3549290) (← links)
- From Philosophical to Industrial Logics (Q3601803) (← links)
- The product of rational languages (Q4630281) (← links)
- (Q5146092) (← links)
- From Logic to Theoretical Computer Science – An Update (Q5452171) (← links)
- Selection and Uniformization Problems in the Monadic Theory of Ordinals: A Survey (Q5452198) (← links)
- Church’s Problem and a Tour through Automata Theory (Q5452202) (← links)
- From Monadic Logic to PSL (Q5452203) (← links)
- On Expressive Power of Regular Expressions over Infinite Orders (Q5740199) (← links)