Pages that link to "Item:Q1575738"
From MaRDI portal
The following pages link to Programs over semigroups of dot-depth one (Q1575738):
Displaying 10 items.
- Efficient algorithms for membership in Boolean hierarchies of regular languages (Q306282) (← links)
- Languages polylog-time reducible to dot-depth 1/2 (Q859980) (← links)
- Finite semigroup varieties defined by programs (Q1390876) (← links)
- Characterizing level one in group-based concatenation hierarchies (Q2097235) (← links)
- On the computational power of programs over \(\mathsf{BA}_2\) monoid (Q2232262) (← links)
- Difference hierarchies and duality with an application to formal languages (Q2310785) (← links)
- Perfect correspondences between dot-depth and polynomial-time hierarchies (Q2453555) (← links)
- Programs over finite semigroups: An introduction (Q3974006) (← links)
- The Power of Programs over Monoids in DA (Q5111216) (← links)
- The regular languages of first-order logic with one alternation (Q6649495) (← links)