Copertina

Characterizations of Monadic Second Order Definable Context-Free Sets of Graphs

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Iosif, Radu, Zuleger, Florian
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Formal Languages and Automata Theory Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Tree-Verifiable Graph Grammars
di: Chimes, Mark, et al.
Pubblicazione: (2024)

The Treewidth Boundedness Problem for an Inductive Separation Logic of Relations
di: Bozga, Marius, et al.
Pubblicazione: (2023)

Regular Grammars for Sets of Graphs of Tree-Width 2
di: Bozga, Marius, et al.
Pubblicazione: (2024)

Regular Grammars as Effective Representations of Recognizable Sets of Series-Parallel Graphs
di: Bozga, Marius, et al.
Pubblicazione: (2026)

Random Graph Generation in Context-Free Graph Languages
di: Vastarini, Federico, et al.
Pubblicazione: (2024)

Iterating Non-Aggregative Structure Compositions
di: Bozga, Marius, et al.
Pubblicazione: (2025)

Characterization and Decidability of FC-Definable Regular Languages
di: Thompson, Sam M., et al.
Pubblicazione: (2025)

Complexity of Model Checking Second-Order Hyperproperties on Finite Structures
di: Finkbeiner, Bernd, et al.
Pubblicazione: (2026)

Existential Definability over the Subword Ordering
di: Baumann, Pascal, et al.
Pubblicazione: (2022)

The Alternation Hierarchy of First-Order Logic on Words is Decidable
di: Barloy, Corentin, et al.
Pubblicazione: (2025)

Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages
di: Mandrioli, Dino, et al.
Pubblicazione: (2020)

The Complexity of Second-order HyperLTL
di: Frenkel, Hadar, et al.
Pubblicazione: (2023)

Image Reflection on Process Graphs -- A Novel Approach for the Completeness of an Axiomatization of 1-Free Regular Expressions Modulo Bisimilarity
di: Zhang, Yuanrui, et al.
Pubblicazione: (2023)

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

Logics for Context-free Hyperproperties
di: Winter, Sarah, et al.
Pubblicazione: (2026)

Slightly Non-Linear Higher-Order Tree Transducers
di: Nguyên, Lê Thành Dũng, et al.
Pubblicazione: (2024)

The Complexity of Generalized HyperLTL with Stuttering and Contexts
di: Regaud, Gaëtan, et al.
Pubblicazione: (2025)

Characterizing the Polynomial-Time Minimizable $ω$-Automata
di: Radi, Bader Abu, et al.
Pubblicazione: (2025)

An Automaton-based Characterisation of First-Order Logic over Infinite Trees
di: Benerecetti, Massimo, et al.
Pubblicazione: (2025)

Automaton-based Characterisations of First Order Logic over Infinite Trees
di: Benerecetti, Massimo, et al.
Pubblicazione: (2026)

Set Automata and Limits of Decidability of Two-Variable Logic on Data Words
di: Guha, Shibashis, et al.
Pubblicazione: (2026)

Algebraic Characterizations of Classes of Regular Languages in DynFO
di: Barloy, Corentin, et al.
Pubblicazione: (2026)

Towards Efficient Matching of Regexes with Backreferences using Register Set Automata (Technical Report)
di: Havlena, Vojtěch, et al.
Pubblicazione: (2022)

Parity Games on Temporal Graphs
di: Austin, Pete, et al.
Pubblicazione: (2023)

A Myhill-Nerode Characterization and Active Learning for One-Clock Timed Automata
di: Doveri, Kyveli, et al.
Pubblicazione: (2026)

A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
di: Rooduijn, Jan, et al.
Pubblicazione: (2024)

A proof theory of right-linear (omega-)grammars via cyclic proofs
di: Das, Anupam, et al.
Pubblicazione: (2024)

An algebraic theory of ω-regular languages, via μν-expressions
di: Das, Anupam, et al.
Pubblicazione: (2025)

Function spaces for orbit-finite sets
di: Bojańczyk, Mikołaj, et al.
Pubblicazione: (2024)

An efficient quantifier elimination procedure for Presburger arithmetic
di: Haase, Christoph, et al.
Pubblicazione: (2024)

Cyclic system for an algebraic theory of alternating parity automata
di: Das, Anupam, et al.
Pubblicazione: (2025)

The Decision Problem for Regular First-Order Theories
di: Mathur, Umang, et al.
Pubblicazione: (2024)

Finding Regular Herbrand Models for CHCs using Answer Set Programming
di: Maire, Gregoire, et al.
Pubblicazione: (2025)

Homomorphism Problems in Graph Databases and Automatic Structures
di: Morvan, Rémi
Pubblicazione: (2025)

On Higher Order Busy Beaver Function
di: Cao, Zining
Pubblicazione: (2025)

First-Order Intuitionistic Linear Logic and Hypergraph Languages
di: Pshenitsyn, Tikhon
Pubblicazione: (2025)

Relating Reversible Petri Nets and Reversible Event Structures, categorically
di: Melgratti, Hernán, et al.
Pubblicazione: (2023)

Parikh's Theorem Made Symbolic
di: Hague, Matthew, et al.
Pubblicazione: (2023)

Analyzing Robustness of Angluin's L$^*$ Algorithm in Presence of Noise
di: Ye, Lina, et al.
Pubblicazione: (2023)