Copertina

FO logic on cellular automata orbits equals MSO logic

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Theyssier, Guillaume
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Discrete Mathematics Logic in Computer Science Dynamical Systems
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

On Piecewise Affine Reachability with Bellman Operators
di: Varonka, Anton, et al.
Pubblicazione: (2025)

The domino problem is decidable for robust tilesets
di: Aubrun, Nathalie, et al.
Pubblicazione: (2024)

Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO
di: Mählmann, Nikolas
Pubblicazione: (2025)

First-order logic axiomatization of metric graph theory
di: Chalopin, Jérémie, et al.
Pubblicazione: (2022)

Computability of extender sets in multidimensional subshifts: asymptotic growths, dynamical constraints
di: Callard, Antonin, et al.
Pubblicazione: (2024)

Going deep and going wide: Counting logic and homomorphism indistinguishability over graphs of bounded treedepth and treewidth
di: Adler, Isolde, et al.
Pubblicazione: (2025)

Characterization of the set of zero-noise limits measures of perturbed cellular automata
di: Marsan, Hugo, et al.
Pubblicazione: (2024)

Graph classes through the lens of logic
di: Pilipczuk, Michał
Pubblicazione: (2025)

Rice-like complexity lower bounds for Boolean and uniform automata networks
di: Goubault-Larrecq, Aliénor, et al.
Pubblicazione: (2024)

Topological transitivity of group cellular automata is decidable
di: Castronuovo, Niccolò, et al.
Pubblicazione: (2026)

Fixed Point Certificates for Reachability and Expected Rewards in MDPs
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2025)

Consistency of P-time event graphs is decidable in polynomial time (extended version)
di: Zorzenon, Davide, et al.
Pubblicazione: (2023)

New classes of reversible cellular automata
di: Haugland, Jan Kristian, et al.
Pubblicazione: (2024)

On the complexity of freezing automata networks of bounded pathwidth
di: Goles, Eric, et al.
Pubblicazione: (2025)

On elementary cellular automata asymptotic (a)synchronism sensitivity and complexity
di: Leiva, Isabel Donoso, et al.
Pubblicazione: (2023)

Logic-based analogical proportions
di: Antić, Christian
Pubblicazione: (2024)

A Note on Constructive Canonical Splitter Strategies in Nowhere Dense Graph Classes
di: Fuchser, Janne, et al.
Pubblicazione: (2025)

Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement
di: Lyon, Tim S.
Pubblicazione: (2022)

On Gottschalk's surjunctivity conjecture for non-uniform cellular automata
di: Phung, Xuan Kien
Pubblicazione: (2025)

Advances in Algorithmic Meta Theorems
di: Siebertz, Sebastian, et al.
Pubblicazione: (2024)

Flip-Breakability: A Combinatorial Dichotomy for Monadically Dependent Graph Classes
di: Dreier, Jan, et al.
Pubblicazione: (2024)

Separability Properties of Monadically Dependent Graph Classes
di: Bonnet, Édouard, et al.
Pubblicazione: (2025)

Existential Positive Transductions of Sparse Graphs
di: Mählmann, Nikolas, et al.
Pubblicazione: (2026)

Characterizations of monadically dependent tree-ordered weakly sparse structures
di: Buffière, Hector, et al.
Pubblicazione: (2026)

Decomposition horizons and a characterization of stable hereditary classes of graphs
di: Braunfeld, Samuel, et al.
Pubblicazione: (2022)

Epsilon-saturation for stable graphs and Littlestone classes
di: Malliaris, Maryanthe, et al.
Pubblicazione: (2025)

On first-order transductions of classes of graphs
di: Braunfeld, Samuel, et al.
Pubblicazione: (2022)

Home Spaces and Invariants to Analyze Parameterized Petri Nets
di: Memmi, Gerard
Pubblicazione: (2024)

Hypergraph rewriting and Causal structure of $λ-$calculus
di: Bajaj, Utkarsh
Pubblicazione: (2024)

Learning Foundations Beneath the Stars
di: Cardone, Felice, et al.
Pubblicazione: (2026)

On the Subspace Orbit Problem and the Simultaneous Skolem Problem
di: Bacik, Piotr, et al.
Pubblicazione: (2026)

SAT-Solving the Poset Cover Problem
di: Yuan, Chih-Cheng Rex, et al.
Pubblicazione: (2025)

Continuous Petri Nets Faithfully Fluidify Most Permissive Boolean Networks
di: Haar, Stefan, et al.
Pubblicazione: (2025)

Verifying Sampling Algorithms via Distributional Invariants
di: Zilken, Daniel, et al.
Pubblicazione: (2025)

Efficient reversal of transductions of sparse graph classes
di: Dreier, Jan, et al.
Pubblicazione: (2026)

On the number of asynchronous attractors in AND-NOT Boolean networks
di: Trinh, Van-Giang, et al.
Pubblicazione: (2025)

Incremental SAT-Based Enumeration of Solutions to the Yang-Baxter Equation
di: Van Caudenberg, Daimy, et al.
Pubblicazione: (2025)

Lacon-, Shrub- and Parity-Decompositions: Characterizing Transductions of Bounded Expansion Classes
di: Dreier, Jan
Pubblicazione: (2021)

Analogical proportions II
di: Antić, Christian
Pubblicazione: (2024)

First order complexity of finite random structures
di: Demin, Danila, et al.
Pubblicazione: (2024)