Definable Transductions and Weighted Logics for Texts
From MaRDI portal
Publication:5428243
DOI10.1007/978-3-540-73208-2_31zbMath1202.68234OpenAlexW2164205867MaRDI 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
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Algebraic theory of languages and automata (68Q70)
Related Items (15)
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 ⋮ Weighted Automata and Weighted Logics ⋮ Weighted Automata and Weighted Logics with Discounting ⋮ Varieties of recognizable tree series over fields ⋮ Weighted logics for unranked tree automata ⋮ Weighted picture automata and weighted logics ⋮ Weighted Logics for Nested Words and Algebraic Formal Power Series ⋮ A Feferman-Vaught Decomposition Theorem for Weighted MSO Logic. ⋮ A Büchi-like theorem for weighted tree automata over multioperator monoids ⋮ MSO logics for weighted timed automata ⋮ Weighted Timed MSO Logics ⋮ Weighted automata and multi-valued logics over arbitrary bounded lattices ⋮ A logic-based approach to incremental reasoning on multi-agent systems
This page was built for publication: Definable Transductions and Weighted Logics for Texts
