Weighted Picture Automata and Weighted Logics
From MaRDI portal
Publication:5449809
DOI10.1007/11672142_25zbMath1136.68421OpenAlexW1481152867MaRDI QIDQ5449809
Publication date: 19 March 2008
Published in: STACS 2006 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11672142_25
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)
Related Items
Weighted automata and weighted logics ⋮ Weighted automata and weighted logics with discounting ⋮ A computational model for tiling recognizable two-dimensional languages ⋮ Definable transductions and weighted logics for texts ⋮ Weighted Automata and Weighted Logics with Discounting ⋮ Tiling Automaton: A Computational Model for Recognizable Two-Dimensional Languages ⋮ A Nivat theorem for weighted picture automata and weighted MSO logics ⋮ Weighted picture automata and weighted logics ⋮ Weighted Logics for Nested Words and Algebraic Formal Power Series ⋮ Effective optimization with weighted automata on decomposable trees ⋮ MSO logics for weighted timed automata ⋮ A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logic ⋮ Deterministic and unambiguous two-dimensional languages over one-letter alphabet ⋮ Weighted Timed MSO Logics ⋮ Characterizations of recognizable picture series ⋮ Two-dimensional models ⋮ A logic-based approach to incremental reasoning on multi-agent systems ⋮ Unambiguous recognizable two-dimensional languages
