Cover Image

CMSO-transducing tree-like graph decompositions

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Campbell, Rutger, Guillon, Bruno, Kanté, Mamadou Moustapha, Kim, Eun Jung, Köhler, Noleen
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science Computational Complexity Discrete Mathematics Formal Languages and Automata Theory
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The role of counting quantifiers in laminar set systems
by: Campbell, Rutger, et al.
Published: (2025)

Weighted basic parallel processes and combinatorial enumeration
by: Clemente, Lorenzo
Published: (2024)

The commutativity problem for effective varieties of formal series, and applications
by: Clemente, Lorenzo
Published: (2025)

Complete Compositional Syntax for Finite Transducers on Finite and Bi-Infinite Words
by: Carette, Titouan, et al.
Published: (2025)

A Framework for Universality in Physics, Computer Science, and Beyond
by: Gonda, Tomáš, et al.
Published: (2023)

Generalized Hofstadter functions $G, H$ and beyond: numeration systems and discrepancy
by: Letouzey, Pierre
Published: (2025)

Non-commutative linear logic fragments with sub-context-free complexity
by: Nishimiya, Yusaku, et al.
Published: (2025)

The structure of polynomial growth for tree automata/transducers and MSO set queries
by: Gallot, Paul, et al.
Published: (2025)

Beatty Sequences for a Quadratic Irrational: Decidability and Applications
by: Schaeffer, Luke, et al.
Published: (2024)

Nets-within-Nets through the Lens of Data Nets
by: Di Cosmo, Francesco, et al.
Published: (2025)

The $\mathsf{AC}^0$-Complexity Of Visibly Pushdown Languages
by: Göller, Stefan, et al.
Published: (2023)

On Higher Order Busy Beaver Function
by: Cao, Zining
Published: (2025)

A Complexity Dichotomy for Semilinear Target Sets in Automata with One Counter
by: Shakiba, Yousef, et al.
Published: (2025)

Stochastic Process Turing Machines
by: Wolpert, David, et al.
Published: (2024)

Proceedings Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification
by: Achilleos, Antonis, et al.
Published: (2024)

Reachability in Geometrically $d$-Dimensional VASS
by: Fu, Yuxi, et al.
Published: (2025)

The Complexity of Nested Reset Counter Systems
by: Balasubramanian, A. R., et al.
Published: (2026)

Graph subshifts
by: Arrighi, Pablo, et al.
Published: (2023)

From Width-Based Model Checking to Width-Based Automated Theorem Proving
by: Oliveira, Mateus de Oliveira, et al.
Published: (2022)

Transducing Linear Decompositions of Tournaments
by: Geniet, Colin, et al.
Published: (2026)

Tree transducers of linear size-to-height increase (and the additive conjunction of linear logic)
by: Dartois, Luc, et al.
Published: (2026)

Modular Decomposition of Hierarchical Finite State Machines
by: Biggar, Oliver, et al.
Published: (2021)

Decidability and Characterization of Expansivity for Group Cellular Automata
by: Castronuovo, Niccolo', et al.
Published: (2025)

Algebraic Characterization of Reversible First Degree Cellular Automata over $\mathbb{Z}_d$
by: J., Baby C., et al.
Published: (2026)

A Divide and Conquer Algorithm for Deciding Group Cellular Automata Dynamics
by: Castronuovo, Niccolo', et al.
Published: (2025)

Persistent Permutability in Choice Petri Nets
by: Best, Eike, et al.
Published: (2026)

A New Notion of Regularity: Finite State Automata Accepting Graphs
by: Meeres, Yvo Ad
Published: (2024)

Counting Polyominoes in a Rectangle b x h
by: Marin, Louis
Published: (2024)

Differential Tree Automata
by: Manssour, Rida Ait El, et al.
Published: (2024)

Self-descriptive Sequences directed by two Periodic Sequences
by: Akiyama, Shigeki, et al.
Published: (2024)

From geometry to generating functions: rectangulations and permutations
by: Asinowski, Andrei, et al.
Published: (2024)

Counting and Sampling Traces in Regular Languages
by: de Colnet, Alexis, et al.
Published: (2025)

Cypher is Turing-Complete: A Formal Proof via 2-Counter Machine Simulation
by: Halftermeyer, Pierre
Published: (2026)

An Invitation to Universality in Physics, Computer Science, and Beyond
by: Gonda, Tomáš, et al.
Published: (2024)

Unbounded length minimal synchronizing words for quantum channels over qutrits
by: Kjos-Hanssen, Bjørn, et al.
Published: (2026)

The Repetition Threshold for Rote Sequences
by: Ollinger, Nicolas, et al.
Published: (2024)

String Attractors for Automatic Sequences
by: Schaeffer, Luke, et al.
Published: (2020)

Some Fibonacci-Related Sequences
by: Cloitre, Benoit, et al.
Published: (2023)

Runs in Paperfolding Sequences
by: Shallit, Jeffrey
Published: (2024)

Self-Verifying Predicates in Büchi Arithmetic
by: Khodier, Mazen, et al.
Published: (2025)