Pages that link to "Item:Q5890066"
From MaRDI portal
The following pages link to Ultimately periodic words of rational ω-languages (Q5890066):
Displaying 23 items.
- A theory of ultimately periodic languages and automata with an application to time granularity (Q731330) (← links)
- Compact and tractable automaton-based representations of time granularities (Q875518) (← links)
- Inferring regular languages and \(\omega\)-languages (Q1648037) (← links)
- Quasi-periodic \(\beta\)-expansions and cut languages (Q1704578) (← links)
- Regular \(\omega\)-languages with an informative right congruence (Q2029605) (← links)
- A novel learning algorithm for Büchi automata based on family of DFAs and classification trees (Q2051763) (← links)
- Learning infinite-word automata with loop-index queries (Q2124472) (← links)
- Detecting fictitious states in a \(\Sigma \)-automaton synthesized from its specification in the language LP (Q2287411) (← links)
- Efficient Unlinkable Sanitizable Signatures from Signatures with Re-randomizable Keys (Q2798781) (← links)
- A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours (Q2811927) (← links)
- Approximate Automata for Omega-Regular Languages (Q3297599) (← links)
- A Novel Learning Algorithm for Büchi Automata Based on Family of DFAs and Classification Trees (Q3303894) (← links)
- (Q3384896) (← links)
- (Q4603446) (← links)
- Coinductive Algorithms for Büchi Automata (Q5158653) (← links)
- (Q5485977) (← links)
- (Q5875345) (← links)
- Constructing the maximum prefix-closed subset for a set of \(-\omega \)-words defined by a \(-\omega \)-regular expression (Q6198088) (← links)
- Congruence Relations for Büchi Automata (Q6488469) (← links)
- Commutativity for concurrent program termination proofs (Q6535630) (← links)
- How hard is finding shortest counter-example lassos in model checking? (Q6535953) (← links)
- Constructing deterministic parity automata from positive and negative examples (Q6586928) (← links)
- Kleene theorems for lasso languages and \(\omega \)-languages (Q6636074) (← links)
