A logical approach to locality in pictures languages (Q295631): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+Q45
@@ Property / Mathematics Subject Classification ID: 68Q45 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B15
@@ Property / Mathematics Subject Classification ID: 03B15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+D05
@@ Property / Mathematics Subject Classification ID: 03D05 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q15
@@ Property / Mathematics Subject Classification ID: 68Q15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q80
@@ Property / Mathematics Subject Classification ID: 68Q80 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6592910
@@ Property / zbMATH DE Number: 6592910 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+picture languages
@@ Property / zbMATH Keywords: picture languages / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+locality and tiling
@@ Property / zbMATH Keywords: locality and tiling / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+recognizability
@@ Property / zbMATH Keywords: recognizability / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+linear time
@@ Property / zbMATH Keywords: linear time / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+cellular automata
@@ Property / zbMATH Keywords: cellular automata / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+logical characterizations
@@ Property / zbMATH Keywords: logical characterizations / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+monadic second-order logic
@@ Property / zbMATH Keywords: monadic second-order logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+existential second-order logic
@@ Property / zbMATH Keywords: existential second-order logic / 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.1016/j.jcss.2016.01.005
+Normal rank
@@ Property / OpenAlex ID @@
+W2296611716
@@ Property / OpenAlex ID: W2296611716 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411837
@@ Property / cites work: Q4411837 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5192980
@@ Property / cites work: Q5192980 / rank @@
+Normal rank
@@ Property / cites work @@
+The classical decision problem.
@@ Property / cites work: The classical decision problem. / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+Q4134974
@@ Property / cites work: Q4134974 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3077955
@@ Property / cites work: Q3077955 / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel recognition of rational languages in plane cellular automata
+Normal rank
@@ Property / cites work @@
+First-order queries on structures of bounded degree are computable with constant delay
+Normal rank
@@ Property / cites work @@
+Q4850061
@@ Property / cites work: Q4850061 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision Problems of Finite Automata Design and Related Arithmetics
+Normal rank
@@ Property / cites work @@
+Q4058132
@@ Property / cites work: Q4058132 / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic generalized spectra
@@ Property / cites work: Monadic generalized spectra / rank @@
+Normal rank
@@ Property / cites work @@
+A spectrum hierarchy
@@ Property / cites work: A spectrum hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Finite-model theory -- A personal perspective
@@ Property / cites work: Finite-model theory -- A personal perspective / rank @@
+Normal rank
@@ Property / cites work @@
+On monadic NP vs monadic co-NP
@@ Property / cites work: On monadic NP vs monadic co-NP / rank @@
+Normal rank
@@ Property / cites work @@
+Q4931900
@@ Property / cites work: Q4931900 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3666827
@@ Property / cites work: Q3666827 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4452071
@@ Property / cites work: Q4452071 / 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 @@
+Capturing complexity classes by fragments of second-order logic
+Normal rank
@@ Property / cites work @@
+Finite model theory and its applications.
@@ Property / cites work: Finite model theory and its applications. / rank @@
+Normal rank
@@ Property / cites work @@
+On logics with two variables
@@ Property / cites work: On logics with two variables / rank @@
+Normal rank
@@ Property / cites work @@
+First-order spectra with one variable
@@ Property / cites work: First-order spectra with one variable / rank @@
+Normal rank
@@ Property / cites work @@
+Graph properties checkable in linear time in the number of vertices
+Normal rank
@@ Property / cites work @@
+Machine-Independent Characterizations and Complete Problems for Deterministic Linear Time
+Normal rank
@@ Property / cites work @@
+Locality of order-invariant first-order formulas
@@ Property / cites work: Locality of order-invariant first-order formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Q5551141
@@ Property / cites work: Q5551141 / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of locality and their logical characterizations over finite models
+Normal rank
@@ Property / cites work @@
+Q4227581
@@ Property / cites work: Q4227581 / rank @@
+Normal rank
@@ Property / cites work @@
+A Time Hierarchy Theorem for Nondeterministic Cellular Automata
+Normal rank
@@ Property / cites work @@
+Subshifts, Languages and Logic
@@ Property / cites work: Subshifts, Languages and Logic / rank @@
+Normal rank
@@ Property / cites work @@
+ENTSCHEIDUNGSPROBLEM REDUCED TO THE AEA CASE
@@ Property / cites work: ENTSCHEIDUNGSPROBLEM REDUCED TO THE AEA CASE / rank @@
+Normal rank
@@ Property / cites work @@
+Regular Graphs and the Spectra of Two-Variable Logic with Counting
+Normal rank
@@ Property / cites work @@
+Non-deterministic cellular automata and languages
@@ Property / cites work: Non-deterministic cellular automata and languages / 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 @@
+Context-sensitive string languages and recognizable picture languages
+Normal rank
@@ Property / cites work @@
+Q4251045
@@ Property / cites work: Q4251045 / rank @@
+Normal rank
@@ Property / cites work @@
+Logics with counting and local properties
@@ Property / cites work: Logics with counting and local properties / rank @@
+Normal rank
@@ Property / cites work @@
+Logics capturing local properties
@@ Property / cites work: Logics capturing local properties / rank @@
+Normal rank
@@ Property / cites work @@
+Elements of finite model theory.
@@ Property / cites work: Elements of finite model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+A NORMAL FORM FOR FIRST-ORDER LOGIC OVER DOUBLY-LINKED DATA STRUCTURES
+Normal rank
@@ Property / cites work @@
+Complexity of two-dimensional patterns
@@ Property / cites work: Complexity of two-dimensional patterns / rank @@
+Normal rank
@@ Property / cites work @@
+Q4218153
@@ Property / cites work: Q4218153 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3086932
@@ Property / cites work: Q3086932 / rank @@
+Normal rank
@@ Property / cites work @@
+The monadic quantifier alternation hierarchy over grids and graphs
+Normal rank
@@ Property / cites work @@
+Q5641083
@@ Property / cites work: Q5641083 / rank @@
+Normal rank
@@ Property / cites work @@
+On languages with two variables
@@ Property / cites work: On languages with two variables / rank @@
+Normal rank
@@ Property / cites work @@
+A note on the number of monadic quantifiers in monadic \(\Sigma ^{1}_{1}\)
+Normal rank
@@ Property / cites work @@
+Computations on nondeterministic cellular automata
+Normal rank
@@ Property / cites work @@
+STACS 2005
@@ Property / cites work: STACS 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2762530
@@ Property / cites work: Q2762530 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of Natural Computing
@@ Property / cites work: Handbook of Natural Computing / rank @@
+Normal rank
@@ Property / cites work @@
+Storage Modification Machines
@@ Property / cites work: Storage Modification Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Q4218948
@@ Property / cites work: Q4218948 / rank @@
+Normal rank
@@ Property / cites work @@
+On winning Ehrenfeucht games and monadic NP
@@ Property / cites work: On winning Ehrenfeucht games and monadic NP / rank @@
+Normal rank
@@ Property / cites work @@
+Q4381395
@@ Property / cites work: Q4381395 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222816
@@ Property / cites work: Q4222816 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5284545
@@ Property / cites work: Q5284545 / rank @@
+Normal rank
@@ Property / cites work @@
+Separating Nondeterministic Time Complexity Classes
+Normal rank
@@ Property / cites work @@
+Parallel language recognition in constant time by cellular automata
+Normal rank
@@ Property / cites work @@
+Generalized finite automata theory with an application to a decision problem of second-order logic
+Normal rank
@@ Property / cites work @@
+Classifying regular events in symbolic logic
@@ Property / cites work: Classifying regular events in symbolic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4036584
@@ Property / cites work: Q4036584 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5723183
@@ Property / cites work: Q5723183 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4348133
@@ Property / cites work: Q4348133 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5509685
@@ Property / cites work: Q5509685 / rank @@
+Normal rank
@@ Property / cites work @@
+Computation, logic, philosophy. A collection of essays
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:295631