Copertina

Two variable logic with ultimately periodic counting

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Benedikt, Michael, Kostylev, Egor V., Tan, Tony
Natura:	Preprint
Pubblicazione:	2020
Soggetti:	Logic in Computer Science Combinatorics
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Analysis of logics with arithmetic
di: Benedikt, Michael, et al.
Pubblicazione: (2025)

A very sharp threshold for first order logic distinguishability of random graphs
di: Benjamini, Itai, et al.
Pubblicazione: (2022)

Convergence Laws for Extensions of First-Order Logic with Averaging
di: Adam-Day, Sam, et al.
Pubblicazione: (2025)

A logical approach to concentration
di: Benedikt, Michael, et al.
Pubblicazione: (2026)

On two-variable guarded fragment logic with expressive local Presburger constraints
di: Lu, Chia-Hsuan, et al.
Pubblicazione: (2022)

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

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

Indivisibility and uniform computational strength
di: Gill, Kenneth
Pubblicazione: (2023)

Decomposing graphs into stable and ordered parts
di: Buffière, Hector, et al.
Pubblicazione: (2025)

Monadic Second-Order Logic of Permutations
di: Jelínek, Vít, et al.
Pubblicazione: (2025)

Decidability for Sturmian words
di: Hieronymi, Philipp, et al.
Pubblicazione: (2021)

How (and when) can you fit examples to logic-based hypothesis classes over infinite structures?
di: Benedikt, Michael, et al.
Pubblicazione: (2026)

Decidability of Graph Neural Networks via Logical Characterizations
di: Benedikt, Michael, et al.
Pubblicazione: (2024)

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

Local structure of idempotent algebras II
di: Bulatov, Andrei A.
Pubblicazione: (2020)

Tutte's theorem as an educational formalization project
di: Otte, Pim
Pubblicazione: (2025)

Further Comments on Yablo's Construction
di: Schlechta, Karl
Pubblicazione: (2025)

Additive systems for $\mathbb{Z}$ are undecidable
di: Zabolotskii, Andrei
Pubblicazione: (2025)

On Planarity of Graphs in Homotopy Type Theory
di: Prieto-Cubides, Jonathan, et al.
Pubblicazione: (2021)

Transductions of Graph Classes Admitting Product Structure
di: Hliněný, Petr, et al.
Pubblicazione: (2025)

Bijections between planar maps and planar linear normal $λ$-terms with connectivity condition
di: Fang, Wenjie
Pubblicazione: (2022)

Composition Direction of Seymour's Theorem for Regular Matroids -- Formally Verified
di: Dvorak, Martin, et al.
Pubblicazione: (2025)

A Formal Proof of R(4,5)=25
di: Gauthier, Thibault, et al.
Pubblicazione: (2024)

Advances in Algorithmic Meta Theorems
di: Siebertz, Sebastian, 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)

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

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

Semantically Reflected Programs
di: Kamburjan, Eduard, et al.
Pubblicazione: (2025)

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

On the expressive power of inquisitive team logic and inquisitive first-order logic
di: Kontinen, Juha, et al.
Pubblicazione: (2026)

Embedded Finite Models Beyond Restricted Quantifier Collapse
di: Benedikt, Michael, et al.
Pubblicazione: (2023)

Quantum modal logic
di: Tokuo, Kenji
Pubblicazione: (2025)

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

Happy Ending: An Empty Hexagon in Every Set of 30 Points
di: Heule, Marijn J. H., et al.
Pubblicazione: (2024)

Local and global $d$-rigidity are not definable in the first order logic of graphs
di: Bernstein, Daniel Irving, et al.
Pubblicazione: (2025)