Copertina

Lacon-, Shrub- and Parity-Decompositions: Characterizing Transductions of Bounded Expansion Classes

Fuente: arXiv

Salvato in:

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

Documenti analoghi

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

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

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

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

Merge-width and First-Order Model Checking
di: Dreier, Jan, et al.
Pubblicazione: (2025)

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

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

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

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

Transducing Linear Decompositions of Tournaments
di: Geniet, Colin, et al.
Pubblicazione: (2026)

An Upper Bound on the Weisfeiler-Leman Dimension
di: Schneider, Thomas, et al.
Pubblicazione: (2024)

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

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

An Expansion-Based Approach for Quantified Integer Programming
di: Hartisch, Michael, et al.
Pubblicazione: (2025)

Super-linear Lower Bounds for CSP Non-Redundancy via Shrinking Instances
di: Brakensiek, Joshua, et al.
Pubblicazione: (2026)

Bounding the Weisfeiler-Leman Dimension via a Depth Analysis of I/R-Trees
di: Kiefer, Sandra, et al.
Pubblicazione: (2024)

Beyond Value Iteration for Parity Games: Strategy Iteration with Universal Trees
di: Koh, Zhuan Khye, et al.
Pubblicazione: (2021)

Lower Bounds on Inverse Cellular Automata via Proof Complexity
di: Kapytka, Maryia
Pubblicazione: (2026)

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

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)

First-order transducibility among classes of sparse graphs
di: Gajarský, Jakub, et al.
Pubblicazione: (2025)

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)

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

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)

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

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

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

Symbolic Sets for Proving Bounds on Rado Numbers
di: Ahmed, Tanbir, et al.
Pubblicazione: (2025)

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

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

Compressing CFI Graphs and Lower Bounds for the Weisfeiler-Leman Refinements
di: Grohe, Martin, et al.
Pubblicazione: (2023)

Twin-width and permutations
di: Bonnet, Édouard, et al.
Pubblicazione: (2021)

First order distinguishability of sparse random graphs
di: Hershko, Tal, et al.
Pubblicazione: (2024)

Distinguishing Graphs by Counting Homomorphisms from Sparse Graphs
di: Neuen, Daniel, et al.
Pubblicazione: (2026)

North-East Lattice Paths Avoiding $k$ Collinear Points via Satisfiability
di: Barnoff, Aaron, et al.
Pubblicazione: (2025)

On the generalized coloring numbers
di: Siebertz, Sebastian
Pubblicazione: (2025)