Pages that link to "Item:Q5311138"
From MaRDI portal
The following pages link to Mathematical Foundations of Computer Science 2004 (Q5311138):
Displaying 13 items.
- A classification of \(\omega\)-regular languages (Q1058863) (← links)
- Complete interpretations of \(\Omega\)-languages and free algebras of \(\Omega\)-elements (Q1280914) (← links)
- An algebraic characterization of deterministic regular languages over infinite alphabets. (Q1426447) (← links)
- Trace semantics via determinization (Q2341701) (← links)
- Temporal Specifications with Accumulative Values (Q2946736) (← links)
- Probabilistic Weighted Automata (Q3184677) (← links)
- (Q3384896) (← links)
- (Q3693520) (← links)
- Families of DFAs as Acceptors of omega-Regular Languages (Q4608569) (← links)
- (Q5013886) (← links)
- (Q5875345) (← links)
- Theory Is Forever (Q5894889) (← links)
- An algorithmic approach for checking closure properties of Ω-regular languages (Q6162107) (← links)