The following pages link to (Q3431478):
Displaying 10 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)
- Monitor Logics for Quantitative Monitor Automata (Q5111228) (← links)
