Pages that link to "Item:Q2029605"
From MaRDI portal
The following pages link to Regular \(\omega\)-languages with an informative right congruence (Q2029605):
Displaying 6 items.
- Learning infinite-word automata with loop-index queries (Q2124472) (← links)
- Concurrent Kleene algebra with observations: from hypotheses to completeness (Q2200836) (← links)
- (Q3384896) (← links)
- Polynomial Identification of $$\omega $$-Automata (Q5164178) (← links)
- Characterizing omega-regularity through finite-memory determinacy of games on infinite graphs (Q6566586) (← links)
- Half-positional objectives recognized by deterministic Büchi automata (Q6597970) (← links)