Copertina

Tree algebras and bisimulation-invariant MSO on finite graphs

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Colcombet, Thomas, Doumane, Amina, Kuperberg, Denis
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

A finite presentation of graphs of treewidth at most three
di: Doumane, Amina, et al.
Pubblicazione: (2024)

Positive First-order Logic on Words and Graphs
di: Kuperberg, Denis
Pubblicazione: (2022)

Regular expressions over countable words
di: Colcombet, Thomas, et al.
Pubblicazione: (2025)

Low rank MSO
di: Bojańczyk, Mikołaj, et al.
Pubblicazione: (2025)

A meta-modal logic for bisimulations
di: Burrieza, Alfredo, et al.
Pubblicazione: (2025)

Positive and monotone fragments of FO and LTL
di: Kuperberg, Denis, et al.
Pubblicazione: (2024)

A Dichotomy Theorem for Ordinal Ranks in MSO
di: Niwiński, Damian, et al.
Pubblicazione: (2025)

Decidability of MSO Reparameterization over Countable Chains
di: Rabinovich, Alexander
Pubblicazione: (2026)

Expressivity of bisimulation pseudometrics over analytic state spaces
di: Luckhardt, Daniel, et al.
Pubblicazione: (2025)

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

Scoped MSO, Register Automata, and Expressions: Equivalence over Data Words
di: Piórkowski, Radosław
Pubblicazione: (2026)

Expregular functions
di: Colcombet, Thomas, et al.
Pubblicazione: (2026)

Deciding the synthesis problem for hybrid games through bisimulation
di: Dima, Catalin, et al.
Pubblicazione: (2024)

Ranked Enumeration for MSO on Trees via Knowledge Compilation
di: Amarilli, Antoine, et al.
Pubblicazione: (2023)

Generalised Quantifiers Based on Rabin-Mostowski Index
di: Kuperberg, Denis, et al.
Pubblicazione: (2026)

MSO Queries on Trees: Enumerating Answers under Updates Using Forest Algebras
di: Kleest-Meißner, Sarah, et al.
Pubblicazione: (2022)

Effective MSO-Definability for Tree-width Bounded Models of an Inductive Separation Logic of Relations
di: Bueri, Lucas, et al.
Pubblicazione: (2024)

FO logic on cellular automata orbits equals MSO logic
di: Theyssier, Guillaume
Pubblicazione: (2024)

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

Order-invariant cluster first-order logic on graph classes of bounded degree
di: Ghasemi, Fatemeh, et al.
Pubblicazione: (2026)

Difference-restriction algebras with operators
di: Borlido, Célia, et al.
Pubblicazione: (2025)

Convex algebras on an interval with semicontinuous monotone operations
di: Sokolova, Ana, et al.
Pubblicazione: (2026)

Nelson algebras, residuated lattices and rough sets: A survey
di: Järvinen, Jouni, et al.
Pubblicazione: (2024)

Graph neural networks and MSO
di: Ahvonen, Veeti, et al.
Pubblicazione: (2025)

HistMSO: A Logic for Reasoning about Consistency Models with MONA
di: Coget, Isabelle, et al.
Pubblicazione: (2026)

A concrete model for a typed linear algebraic lambda calculus
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2018)

A dual characterisation of simple and subdirectly-irreducible temporal Heyting algebras
di: Alvarez, David Quinn
Pubblicazione: (2025)

Trees in graphs of large linear cliquewidth
di: Bojańczyk, Mikołaj, et al.
Pubblicazione: (2025)

From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History) Determinism
di: Casares, Antonio, et al.
Pubblicazione: (2023)

A modular bisimulation characterisation for fragments of hybrid logic
di: Badia, Guillermo, et al.
Pubblicazione: (2023)

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

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

Observation algebras: Heyting algebra over coherence spaces
di: Brunet, Paul
Pubblicazione: (2025)

Reflexive graph lenses in univalent foundations
di: Sterling, Jonathan
Pubblicazione: (2024)

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
di: Powell, Thomas
Pubblicazione: (2023)

Duality theory and representations for distributive quasi relation algebras and DInFL-algebras
di: Craig, Andrew, et al.
Pubblicazione: (2025)

Generalized Decidability via Brouwer Trees
di: de Jong, Tom, et al.
Pubblicazione: (2026)

Unfoldings and coverings of weighted graphs
di: Courcelle, Bruno
Pubblicazione: (2022)

On first-order transductions of classes of graphs
di: Braunfeld, Samuel, et al.
Pubblicazione: (2022)

About enveloping algebras of direct sums
di: Duchamp, Gérard Henry Edmond, et al.
Pubblicazione: (2024)