Weighted Picture Automata and Weighted Logics
From MaRDI portal
Publication:5449809
DOI10.1007/11672142_25zbMATH Open1136.68421OpenAlexW1481152867MaRDI QIDQ5449809FDOQ5449809
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
Recommendations
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)
Cited In (20)
- Deterministic and unambiguous two-dimensional languages over one-letter alphabet
- Definable transductions and weighted logics for texts
- Weighted automata and weighted logics with discounting
- Weighted automata and weighted logics
- Weighted three directions OTA and weighted hexapolic picture automata
- Tiling Automaton: A Computational Model for Recognizable Two-Dimensional Languages
- Weighted picture automata and weighted logics
- Effective optimization with weighted automata on decomposable trees
- Unambiguous recognizable two-dimensional languages
- Weighted Logics for Nested Words and Algebraic Formal Power Series
- A unifying survey on weighted logics and weighted automata. Core weighted logic: minimal and versatile specification of quantitative properties
- Weighted Automata and Weighted Logics with Discounting
- Weighted Timed MSO Logics
- Two-dimensional models
- A computational model for tiling recognizable two-dimensional languages
- MSO logics for weighted timed automata
- Characterizations of recognizable picture series
- A Nivat theorem for weighted picture automata and weighted MSO logics
- A logic-based approach to incremental reasoning on multi-agent systems
- A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logic
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)
