The following pages link to (Q3431478):
Displaying 13 items.
- A Kleene-Schützenberger theorem for weighted timed automata (Q631775) (← links)
- Weighted automata and weighted logics with discounting (Q840767) (← links)
- Weighted automata and weighted logics on infinite words (Q845080) (← links)
- Skew and infinitary formal power series (Q860889) (← links)
- Schützenberger's theorem on formal power series follows from Kleene's theorem (Q935170) (← links)
- Weighted automata with discounting (Q963467) (← links)
- Regular Expressions on Average and in the Long Run (Q3073640) (← links)
- Partial Conway and Iteration Semiring-Semimodule Pairs (Q3098033) (← links)
- Kleene Theorem in Partial Conway Theories with Applications (Q3098034) (← links)
- *-Continuous Kleene $$\omega $$-Algebras (Q3451106) (← links)
- Weighted Automata and Weighted Logics with Discounting (Q3503896) (← links)
- A Weighted μ-Calculus on Words (Q3637241) (← links)
- Monitor Logics for Quantitative Monitor Automata (Q5111228) (← links)
