A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logic (Q2799219): Difference between revisions

@@ Property / author @@
-Manfred Droste
@@ Property / author: Manfred Droste / rank @@
-Normal rank
@@ Property / author @@
+Manfred Droste
@@ Property / author: Manfred Droste / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-15579-1_55
+Normal rank
@@ Property / OpenAlex ID @@
+W2278986358
@@ Property / OpenAlex ID: W2278986358 / rank @@
+Normal rank
@@ Property / cites work @@
+Unambiguous recognizable two-dimensional languages
+Normal rank
@@ Property / cites work @@
+Weighted versus Probabilistic Logics
@@ Property / cites work: Weighted versus Probabilistic Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3431476
@@ Property / cites work: Q3431476 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative Languages
@@ Property / cites work: Quantitative Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating Weighted Automata
@@ Property / cites work: Alternating Weighted Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Expressiveness and Closure Properties for Quantitative Languages
+Normal rank
@@ Property / cites work @@
+Probabilistic Weighted Automata
@@ Property / cites work: Probabilistic Weighted Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted automata and weighted logics
@@ Property / cites work: Weighted automata and weighted logics / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted automata
@@ Property / cites work: Weighted automata / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted automata and weighted MSO logics for average and long-time behaviors
+Normal rank
@@ Property / cites work @@
+A Nivat Theorem for Weighted Timed Automata and Weighted Relative Distance Logic
+Normal rank
@@ Property / cites work @@
+Weighted Automata and Weighted Logics on Infinite Words
+Normal rank
@@ Property / cites work @@
+Weighted automata and multi-valued logics over arbitrary bounded lattices
+Normal rank
@@ Property / cites work @@
+Weighted tree automata and weighted logics
@@ Property / cites work: Weighted tree automata and weighted logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079524
@@ Property / cites work: Q4079524 / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted picture automata and weighted logics
@@ Property / cites work: Weighted picture automata and weighted logics / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizations of recognizable picture series
@@ Property / cites work: Characterizations of recognizable picture series / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted Picture Automata and Weighted Logics
@@ Property / cites work: Weighted Picture Automata and Weighted Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Syntactic methods in pattern recognition
@@ Property / cites work: Syntactic methods in pattern recognition / rank @@
+Normal rank
@@ Property / cites work @@
+Q4874662
@@ Property / cites work: Q4874662 / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic second-order logic over rectangular pictures and recognizability by tiling systems
+Normal rank
@@ Property / cites work @@
+Some properties of two-dimensional on-line tessellation acceptors
+Normal rank
@@ Property / cites work @@
+A survey of two-dimensional automata theory
@@ Property / cites work: A survey of two-dimensional automata theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3704880
@@ Property / cites work: Q3704880 / rank @@
+Normal rank
@@ Property / cites work @@
+Recognizable picture languages and domino tiling
@@ Property / cites work: Recognizable picture languages and domino tiling / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of two-dimensional patterns
@@ Property / cites work: Complexity of two-dimensional patterns / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted Logics for Traces
@@ Property / cites work: Weighted Logics for Traces / rank @@
+Normal rank
@@ Property / cites work @@
+Q5595902
@@ Property / cites work: Q5595902 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4155837
@@ Property / cites work: Q4155837 / rank @@
+Normal rank
@@ Property / cites work @@
+A characterization of recognizable picture languages by tilings by finite sets
+Normal rank
@@ Property / cites work @@
+Q4036584
@@ Property / cites work: Q4036584 / rank @@
+Normal rank
@@ Property / cites work @@
+Star-free picture expressions are strictly weaker than first-order logic
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2799219