The following pages link to Weighted Logics for Traces (Q3434698):
Displayed 20 items.
- MSO logics for weighted timed automata (Q548692) (← links)
- A Büchi-like theorem for weighted tree automata over multioperator monoids (Q692910) (← 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 weighted logics on infinite words (Q845080) (← links)
- A logic-based approach to incremental reasoning on multi-agent systems (Q2089459) (← links)
- Weighted automata and weighted logics (Q2373736) (← links)
- Weighted logics for unranked tree automata (Q2429720) (← links)
- Weighted picture automata and weighted logics (Q2429722) (← links)
- A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logic (Q2799219) (← links)
- Weighted Automata and Logics on Infinite Graphs (Q2817384) (← links)
- Models for quantitative distributed systems and multi-valued logics (Q2855751) (← links)
- Weighted Unranked Tree Automata over Tree Valuation Monoids and Their Characterization by Weighted Logics (Q2947150) (← links)
- Weighted Automata and Weighted Logics with Discounting (Q3503896) (← links)
- Weighted Logics for Nested Words and Algebraic Formal Power Series (Q3519504) (← links)
- Weighted Timed MSO Logics (Q3637244) (← links)
- (Q4558788) (← links)
- Weighted Automata and Weighted Logics (Q5072547) (← links)
- Pebble Weighted Automata and Weighted Logics (Q5169971) (← links)