Pages that link to "Item:Q703495"
From MaRDI portal
The following pages link to Branching automata with costs -- a way of reflecting parallelism in costs (Q703495):
Displaying 5 items.
- Definable transductions and weighted logics for texts (Q844894) (← links)
- Schützenberger's theorem on formal power series follows from Kleene's theorem (Q935170) (← links)
- Modeling Quantitative Aspects of Concurrent Systems Using Weighted Petri Net Transducers (Q2941142) (← links)
- Valuations of Weighted Automata: Doing It in a Rational Way (Q3098044) (← links)
- On Weighted Petri Net Transducers (Q5166767) (← links)