Buchumschlag

Transductions of Graph Classes Admitting Product Structure

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Hliněný, Petr, Jedelský, Jan
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science Combinatorics
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

k-Planar and Fan-Crossing Drawings and Transductions of Embeddable Graphs
von: Hliněný, Petr, et al.
Veröffentlicht: (2025)

Hereditary Graph Product Structure and $\cal H$-clique-width
von: Hliněný, Petr, et al.
Veröffentlicht: (2024)

Existential Positive Transductions of Sparse Graphs
von: Mählmann, Nikolas, et al.
Veröffentlicht: (2026)

First-order transducibility among classes of sparse graphs
von: Gajarský, Jakub, et al.
Veröffentlicht: (2025)

Flip-Breakability: A Combinatorial Dichotomy for Monadically Dependent Graph Classes
von: Dreier, Jan, et al.
Veröffentlicht: (2024)

On first-order model checking parameterized by the number of variables
von: Jedelský, Jan
Veröffentlicht: (2026)

Separability Properties of Monadically Dependent Graph Classes
von: Bonnet, Édouard, et al.
Veröffentlicht: (2025)

On Planarity of Graphs in Homotopy Type Theory
von: Prieto-Cubides, Jonathan, et al.
Veröffentlicht: (2021)

Decomposing graphs into stable and ordered parts
von: Buffière, Hector, et al.
Veröffentlicht: (2025)

Monadic Second-Order Logic of Permutations
von: Jelínek, Vít, et al.
Veröffentlicht: (2025)

Indivisibility and uniform computational strength
von: Gill, Kenneth
Veröffentlicht: (2023)

Decidability for Sturmian words
von: Hieronymi, Philipp, et al.
Veröffentlicht: (2021)

Lacon-, Shrub- and Parity-Decompositions: Characterizing Transductions of Bounded Expansion Classes
von: Dreier, Jan
Veröffentlicht: (2021)

Measuring Depth of Matroids
von: Balabán, Jakub, et al.
Veröffentlicht: (2026)

A very sharp threshold for first order logic distinguishability of random graphs
von: Benjamini, Itai, et al.
Veröffentlicht: (2022)

Distinguishing Graphs by Counting Homomorphisms from Sparse Graphs
von: Neuen, Daniel, et al.
Veröffentlicht: (2026)

First-Order Logic and Twin-Width for Some Geometric Graphs
von: Geniet, Colin, et al.
Veröffentlicht: (2025)

Tutte's theorem as an educational formalization project
von: Otte, Pim
Veröffentlicht: (2025)

Convergence Laws for Extensions of First-Order Logic with Averaging
von: Adam-Day, Sam, et al.
Veröffentlicht: (2025)

Further Comments on Yablo's Construction
von: Schlechta, Karl
Veröffentlicht: (2025)

Additive systems for $\mathbb{Z}$ are undecidable
von: Zabolotskii, Andrei
Veröffentlicht: (2025)

Composition Direction of Seymour's Theorem for Regular Matroids -- Formally Verified
von: Dvorak, Martin, et al.
Veröffentlicht: (2025)

Two variable logic with ultimately periodic counting
von: Benedikt, Michael, et al.
Veröffentlicht: (2020)

Local structure of idempotent algebras II
von: Bulatov, Andrei A.
Veröffentlicht: (2020)

Bijections between planar maps and planar linear normal $λ$-terms with connectivity condition
von: Fang, Wenjie
Veröffentlicht: (2022)

A Formal Proof of R(4,5)=25
von: Gauthier, Thibault, et al.
Veröffentlicht: (2024)

Epsilon-saturation for stable graphs and Littlestone classes
von: Malliaris, Maryanthe, et al.
Veröffentlicht: (2025)

Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO
von: Mählmann, Nikolas
Veröffentlicht: (2025)

Advances in Algorithmic Meta Theorems
von: Siebertz, Sebastian, et al.
Veröffentlicht: (2024)

Characterizations of monadically dependent tree-ordered weakly sparse structures
von: Buffière, Hector, et al.
Veröffentlicht: (2026)

Decomposition horizons and a characterization of stable hereditary classes of graphs
von: Braunfeld, Samuel, et al.
Veröffentlicht: (2022)

On first-order transductions of classes of graphs
von: Braunfeld, Samuel, et al.
Veröffentlicht: (2022)

An Introduction to Razborov's Flag Algebra as a Proof System for Extremal Graph Theory
von: Jeong, Gyeongwon, et al.
Veröffentlicht: (2026)

The Finite Length Property of the Rado Graph and Friends
von: Yang, Jingjie, et al.
Veröffentlicht: (2026)

First order complexity of finite random structures
von: Demin, Danila, et al.
Veröffentlicht: (2024)

A Classification of Long-Refinement Graphs for Colour Refinement
von: Kiefer, Sandra, et al.
Veröffentlicht: (2025)

Simple Classes of Automatic Structures
von: Blumensath, Achim
Veröffentlicht: (2025)

Twin-width of Planar Graphs; a Short Proof
von: Hliněný, Petr
Veröffentlicht: (2023)

Happy Ending: An Empty Hexagon in Every Set of 30 Points
von: Heule, Marijn J. H., et al.
Veröffentlicht: (2024)

The unstable formula theorem revisited via algorithms
von: Malliaris, Maryanthe, et al.
Veröffentlicht: (2022)