Pages that link to "Item:Q5434498"
From MaRDI portal
The following pages link to Weighted Distributed Systems and Their Logics (Q5434498):
Displayed 7 items.
- MSO logics for weighted timed automata (Q548692) (← links)
- Weighted automata and multi-valued logics over arbitrary bounded lattices (Q764336) (← links)
- Weighted automata and weighted logics with discounting (Q840767) (← links)
- Definable transductions and weighted logics for texts (Q844894) (← links)
- Weighted Automata and Logics on Infinite Graphs (Q2817384) (← links)
- Models for quantitative distributed systems and multi-valued logics (Q2855751) (← links)
- Weighted Automata and Weighted Logics (Q5072547) (← links)