Pages that link to "Item:Q3519504"

The following pages link to Weighted Logics for Nested Words and Algebraic Formal Power Series (Q3519504):

Displayed 15 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)
• 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)
• (Q5005180) ‎ (← links)
• (Q5111228) ‎ (← links)
• (Q5111245) ‎ (← links)