Image de couverture de livre

Homomorphism Problems in Graph Databases and Automatic Structures

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Morvan, Rémi
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science Databases Formal Languages and Automata Theory
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries
par: Figueira, Diego, et autres
Publié: (2022)

The Algebras for Automatic Relations
par: Morvan, Rémi
Publié: (2024)

A Dichotomy Theorem for Automatic Structures
par: Cuvelier, Antoine, et autres
Publié: (2026)

Complex event recognition under time constraints: towards a formal framework for efficient query evaluation
par: García, Julián, et autres
Publié: (2025)

FC-Datalog as a Framework for Efficient String Querying
par: Bell, Owen M., et autres
Publié: (2025)

A Trichotomy for Regular Trail Queries
par: Martens, Wim, et autres
Publié: (2019)

A formal query language and automata model for aggregation in complex event recognition
par: Bourhis, Pierre, et autres
Publié: (2026)

Automatic constraint satisfaction problem
par: Bulatov, Andrei, et autres
Publié: (2026)

Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions
par: Ghasemirad, Shabnam, et autres
Publié: (2024)

Positive First-order Logic on Words and Graphs
par: Kuperberg, Denis
Publié: (2022)

A Practical Specification Language for Automatic Quantum Program Verification (Technical Report)
par: Tsai, Wei-Lun, et autres
Publié: (2026)

SpotIt: Evaluating Text-to-SQL Evaluation with Formal Verification
par: Klopfenstein, Rocky, et autres
Publié: (2025)

Decidability Problems for Micro-Stipula
par: Delzanno, Giorgio, et autres
Publié: (2025)

Random Graph Generation in Context-Free Graph Languages
par: Vastarini, Federico, et autres
Publié: (2024)

On the Reachability Problem for Two-Dimensional Branching VASS
par: Bizière, Clotilde, et autres
Publié: (2025)

A Uniform Framework for Language Inclusion Problems
par: Doveri, Kyveli, et autres
Publié: (2024)

Automatic Generation of Safety-compliant Linear Temporal Logic via Large Language Model: A Self-supervised Framework
par: Li, Junle, et autres
Publié: (2025)

The Treewidth Boundedness Problem for an Inductive Separation Logic of Relations
par: Bozga, Marius, et autres
Publié: (2023)

Parity Games on Temporal Graphs
par: Austin, Pete, et autres
Publié: (2023)

Tree-Verifiable Graph Grammars
par: Chimes, Mark, et autres
Publié: (2024)

The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete)
par: Daviaud, Laure, et autres
Publié: (2023)

Characterizations of Monadic Second Order Definable Context-Free Sets of Graphs
par: Iosif, Radu, et autres
Publié: (2023)

Relating Reversible Petri Nets and Reversible Event Structures, categorically
par: Melgratti, Hernán, et autres
Publié: (2023)

Complexity of Model Checking Second-Order Hyperproperties on Finite Structures
par: Finkbeiner, Bernd, et autres
Publié: (2026)

Image Reflection on Process Graphs -- A Novel Approach for the Completeness of an Axiomatization of 1-Free Regular Expressions Modulo Bisimilarity
par: Zhang, Yuanrui, et autres
Publié: (2023)

Proceedings of the Combined 32nd International Workshop on Expressiveness in Concurrency and 22nd Workshop on Structural Operational Semantics
par: Di Giusto, Cinzia, et autres
Publié: (2025)

Proceedings Combined 31st International Workshop on Expressiveness in Concurrency and 21st Workshop on Structural Operational Semantics
par: Caltais, Georgiana, et autres
Publié: (2024)

Dynamic direct (ranked) access of MSO query evaluation over SLP-compressed strings
par: Muñoz, Martín
Publié: (2026)

The Alternation Hierarchy of First-Order Logic on Words is Decidable
par: Barloy, Corentin, et autres
Publié: (2025)

An algebraic theory of ω-regular languages, via μν-expressions
par: Das, Anupam, et autres
Publié: (2025)

Cyclic system for an algebraic theory of alternating parity automata
par: Das, Anupam, et autres
Publié: (2025)

A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
par: Rooduijn, Jan, et autres
Publié: (2024)

A proof theory of right-linear (omega-)grammars via cyclic proofs
par: Das, Anupam, et autres
Publié: (2024)

Function spaces for orbit-finite sets
par: Bojańczyk, Mikołaj, et autres
Publié: (2024)

An efficient quantifier elimination procedure for Presburger arithmetic
par: Haase, Christoph, et autres
Publié: (2024)

Efficient Solving for Dynamic Data Structure Constraint Satisfaction Problem
par: Li, Nanbing, et autres
Publié: (2026)

The Decision Problem for Regular First-Order Theories
par: Mathur, Umang, et autres
Publié: (2024)

The Queue Automaton Revisited
par: Baeten, Jos C. M., et autres
Publié: (2025)

Simplifying LTL Model Checking Given Prior Knowledge
par: Duret-Lutz, Alexandre, et autres
Publié: (2025)

Determinization of Min-Plus Weighted Automata is Decidable
par: Almagor, Shaull, et autres
Publié: (2025)