Definable Transductions and Weighted Logics for Texts
From MaRDI portal
Publication:5428243
DOI10.1007/978-3-540-73208-2_31zbMath1202.68234MaRDI QIDQ5428243
Publication date: 28 November 2007
Published in: Developments in Language Theory (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-73208-2_31
68Q45: Formal languages and automata
03D05: Automata and formal grammars in connection with logical questions
68Q70: Algebraic theory of languages and automata
Related Items
Weighted Automata and Weighted Logics, A Feferman-Vaught Decomposition Theorem for Weighted MSO Logic., MSO logics for weighted timed automata, Varieties of recognizable tree series over fields, A Büchi-like theorem for weighted tree automata over multioperator monoids, Weighted automata and multi-valued logics over arbitrary bounded lattices, Existential MSO over two successors is strictly weaker than over linear orders, Weighted automata and weighted logics with discounting, Definable transductions and weighted logics for texts, A logic-based approach to incremental reasoning on multi-agent systems, Weighted logics for unranked tree automata, Weighted picture automata and weighted logics, Weighted Automata and Weighted Logics with Discounting, Weighted Logics for Nested Words and Algebraic Formal Power Series, Weighted Timed MSO Logics