Weighted Picture Automata and Weighted Logics

DOI10.1007/11672142_25MaRDI QIDQ5449809zbMATH OpenOpenAlexFDO

Authors Ina Fichtner

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)

Recommendations

• Weighted picture automata and weighted logics
• Weighted automata and weighted logics
• A Nivat theorem for weighted picture automata and weighted MSO logics
• A Nivat theorem for weighted picture automata and weighted MSO logic
• Characterizations of recognizable picture series

Cited in

(22)

• Deterministic and unambiguous two-dimensional languages over one-letter alphabet
• Weighted three directions OTA and weighted hexapolic picture automata
• Unambiguous recognizable two-dimensional languages
• Weighted picture automata and weighted logics
• MSO logics for weighted timed automata
• A logic-based approach to incremental reasoning on multi-agent systems
• Weighted Automata and Weighted Logics with Discounting
• Characterizations of recognizable picture series
• Tiling Automaton: A Computational Model for Recognizable Two-Dimensional Languages
• Weighted Logics for Nested Words and Algebraic Formal Power Series
• A Nivat theorem for weighted picture automata and weighted MSO logic
• Weighted Timed MSO Logics
• Weighted two-dimensional finite automata
• Two-dimensional models
• Definable transductions and weighted logics for texts
• Weighted automata and weighted logics with discounting
• A unifying survey on weighted logics and weighted automata. Core weighted logic: minimal and versatile specification of quantitative properties
• Traces, series-parallel posets, and pictures: a weighted study
• A Nivat theorem for weighted picture automata and weighted MSO logics
• A computational model for tiling recognizable two-dimensional languages
• Effective optimization with weighted automata on decomposable trees
• Weighted automata and weighted logics

This page was built for publication: Weighted Picture Automata and Weighted Logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5449809)