Weighted Picture Automata and Weighted Logics
From MaRDI portal
(Redirected from Publication:5449809)
Recommendations
Cited in
(22)- 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
- Unambiguous recognizable two-dimensional languages
- Effective optimization with weighted automata on decomposable trees
- Weighted Logics for Nested Words and Algebraic Formal Power Series
- Weighted two-dimensional finite automata
- 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
- A Nivat theorem for weighted picture automata and weighted MSO logic
- Traces, series-parallel posets, and pictures: a weighted study
- A computational model for tiling recognizable two-dimensional languages
- Two-dimensional models
- MSO logics for weighted timed automata
- Weighted Timed MSO Logics
- 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
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)
