Pages that link to "Item:Q3519504"
From MaRDI portal
The following pages link to Weighted Logics for Nested Words and Algebraic Formal Power Series (Q3519504):
Displaying 17 items.
- Weighted automata and logics for infinite nested words (Q515684) (← 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 MSO logics for average and long-time behaviors (Q1932173) (← links)
- Logic for \(\omega\)-pushdown automata (Q2064532) (← links)
- A logic-based approach to incremental reasoning on multi-agent systems (Q2089459) (← links)
- Weighted logics for unranked tree automata (Q2429720) (← links)
- Weighted picture automata and weighted logics (Q2429722) (← links)
- Weighted Automata and Logics on Infinite Graphs (Q2817384) (← links)
- A Logical Characterization of Timed Pushdown Languages (Q3194716) (← links)
- Weighted Timed MSO Logics (Q3637244) (← links)
- A Feferman-Vaught Decomposition Theorem for Weighted MSO Logic. (Q5005180) (← links)
- Weighted Automata and Weighted Logics (Q5072547) (← links)
- Monitor Logics for Quantitative Monitor Automata (Q5111228) (← links)
- Weighted Operator Precedence Languages (Q5111245) (← links)
