Copertina

Courcelle's Theorem Without Logic

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Filmus, Yuval, Makowsky, Johann A.
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science 05C85, 03C13, 68R10
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Paths, Ends and The Separation Problem for Infinite Graphs
di: Carrasco-Vargas, Nicanor, et al.
Pubblicazione: (2024)

Preservation theorems on sparse classes revisited
di: Dawar, Anuj, et al.
Pubblicazione: (2024)

Model-Checking for First-Order Logic with Disjoint Paths Predicates in Proper Minor-Closed Graph Classes
di: Golovach, Petr A., et al.
Pubblicazione: (2022)

First Order Logic and Twin-Width in Tournaments and Dense Oriented Graphs
di: Geniet, Colin, et al.
Pubblicazione: (2022)

Browsing Large Graphs with Tile Pyramids and Sleeve Routing in the Browser
di: Nachmanson, Lev, et al.
Pubblicazione: (2026)

Extremal Trees With Prescribed Burning Numbers
di: Leong, Eugene Jun Tong, et al.
Pubblicazione: (2025)

A Linear Kernel for Independent Set Reconfiguration in Planar Graphs
di: Bousquet, Nicolas, et al.
Pubblicazione: (2025)

A Reflection Principle for Potential Infinite Models of Type Theory
di: Eberl, Matthias
Pubblicazione: (2024)

The zero blocking numbers of grid graphs
di: Lin, Hau-Yi, et al.
Pubblicazione: (2025)

Zero blocking numbers of graphs with complexity results
di: Lin, Hau-Yi, et al.
Pubblicazione: (2025)

The zero blocking numbers of generalized Kneser graphs and generalized Johnson graphs
di: Lin, Hau-Yi, et al.
Pubblicazione: (2025)

Quota Trees
di: White, Tad
Pubblicazione: (2024)

Reconstructing a graph from the distance matrix of its boundary
di: Cáceres, José, et al.
Pubblicazione: (2024)

Minimal obstructions to $C_5$-coloring in hereditary graph classes
di: Goedgebeur, Jan, et al.
Pubblicazione: (2024)

Perfect Edge Domination in $P_6$-free Graphs and in Graphs Without Efficient Edge Dominating Sets
di: Grippo, Luciano N., et al.
Pubblicazione: (2025)

Model Checking for Low Monodimensionality Fragments of CMSO on Topological-Minor-Free Graph Classes
di: Sau, Ignasi, et al.
Pubblicazione: (2026)

Exploring P versus NP
di: Tang, Jian-Gang
Pubblicazione: (2022)

Elementary equivalence of endomorphism rings and automorphism groups of periodic Abelian groups
di: Bunina, Elena
Pubblicazione: (2024)

Polynomial Bounds for the Graph Minor Structure Theorem
di: Gorsky, Maximilian, et al.
Pubblicazione: (2025)

Three results towards the approximation of special maximum matchings in graphs
di: Mkrtchyan, Vahan
Pubblicazione: (2024)

$2$-polarity and algorithmic aspects of polarity variants on cograph superclasses
di: Contreras-Mendoza, Fernando Esteban, et al.
Pubblicazione: (2022)

State Canonization and Early Pruning in Width-Based Automated Theorem Proving
di: Oliveira, Mateus de Oliveira, et al.
Pubblicazione: (2026)

Catching Rats in $H$-minor-free Graphs
di: Gorsky, Maximilian, et al.
Pubblicazione: (2025)

Algorithmic releases on the spanning trees of suitable graphs
di: Imbesi, Maurizio, et al.
Pubblicazione: (2017)

The Local Structure Theorem for Graph Minors with finite index
di: Paul, Christophe, et al.
Pubblicazione: (2025)

Graded Monads in the Semantics of Nominal Automata
di: Schulze, Hannes, et al.
Pubblicazione: (2025)

A Fast Model Counting Algorithm for Two-Variable Logic with Counting and Modulo Counting Quantifiers
di: Sun, Shixin, et al.
Pubblicazione: (2026)

Graph theoretic and algorithmic aspect of the equitable coloring problem in block graphs
di: Furmańczyk, Hanna, et al.
Pubblicazione: (2020)

Small-scale operations on graphic sequences
di: Rusu, Irena
Pubblicazione: (2026)

A Note on Graph Burning of Path Forests
di: Tan, Ta Sheng, et al.
Pubblicazione: (2023)

Parameterizing the quantification of CMSO: model checking on minor-closed graph classes
di: Sau, Ignasi, et al.
Pubblicazione: (2024)

A Logic-based Algorithmic Meta-Theorem for Treedepth: Single Exponential FPT Time and Polynomial Space
di: Bergougnoux, Benjamin, et al.
Pubblicazione: (2025)

Improved bounds for acyclic coloring parameters
di: Kirousis, Lefteris, et al.
Pubblicazione: (2022)

A Structural Feature-Based Approach for Comprehensive Graph Classification
di: Islam, Saiful, et al.
Pubblicazione: (2024)

The Second-order Version of Morley's Theorem on the Number of Countable Models does not Require Large Cardinals
di: Tall, Franklin D., et al.
Pubblicazione: (2024)

Model theory of second order logic
di: Väänänen, Jouko
Pubblicazione: (2025)

Ramsey expansions of $Λ$-ultrametric spaces
di: Braunfeld, Samuel
Pubblicazione: (2017)

Infinite Eulerian paths are computable on graphs with vertices of infinite degree
di: Carrasco-Vargas, Nicanor
Pubblicazione: (2023)

An NP-hardness result for the colored constrained maximum 2-edge-colorable subgraph problem in bipartite graphs
di: Mkrtchyan, Vahan
Pubblicazione: (2024)

Solving the $106$ years old $3^k$ points problem with the clockwise-algorithm
di: Ripà, Marco
Pubblicazione: (2024)