Image de couverture de livre

Word equations, constraints, and formal languages

Fuente: arXiv

Enregistré dans:

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

Documents similaires

Slice closures of indexed languages and word equations with counting constraints
par: Ciobanu, Laura, et autres
Publié: (2024)

Visibly Pushdown Languages in Groups
par: Ciobanu, Laura, et autres
Publié: (2026)

Equations in wreath products
par: Bartholdi, Laurent, et autres
Publié: (2024)

The termination of Nielsen transformations applied to word equations with length constraints
par: Przybocki, Benjamin, et autres
Publié: (2025)

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

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

Parikh Automata on Finite and Infinite Words
par: Grobler, Mario, et autres
Publié: (2023)

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)

Synthesis of Computable Regular Functions of Infinite Words
par: Dave, V., et autres
Publié: (2019)

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

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

Synthesizing Computable Functions from Rational Specifications over Infinite Words
par: Filiot, Emmanuel, et autres
Publié: (2021)

Set Automata and Limits of Decidability of Two-Variable Logic on Data Words
par: Guha, Shibashis, et autres
Publié: (2026)

A formal characterization of discrete condensed objects
par: Asgeirsson, Dagur
Publié: (2024)

A complete formalization of Fermat's Last Theorem for regular primes in Lean
par: Best, Alex, et autres
Publié: (2024)

A cartesian closed fibration of higher-order regular languages
par: Melliès, Paul-André, et autres
Publié: (2026)

A Session Type System for Asynchronous Unreliable Broadcast Communication
par: Kouzapas, Dimitrios, et autres
Publié: (2019)

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)

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

Geodesic languages for rational subsets and conjugates in virtually free groups
par: Carvalho, André, et autres
Publié: (2024)

Solvability of orbit-finite systems of linear equations
par: Ghosh, Arka, et autres
Publié: (2022)

Syntactically and semantically regular languages of lambda-terms coincide through logical relations
par: Moreau, Vincent, et autres
Publié: (2023)

Verifying Quantum Circuits with Level-Synchronized Tree Automata (Technical Report)
par: Abdulla, Parosh Aziz, et autres
Publié: (2024)

AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs (Technical Report)
par: Chen, Yu-Fang, et autres
Publié: (2024)

Simple grammar bisimilarity, with an application to session type equivalence
par: Poças, Diogo, et autres
Publié: (2024)

On Dependent Variables in Reactive Synthesis
par: Akshay, S., et autres
Publié: (2024)

Attractors of Parikh mapping iterations
par: Chunikhin, Alexander
Publié: (2024)

Invariants for One-Counter Automata with Disequality Tests
par: Chistikov, Dmitry, et autres
Publié: (2024)

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

Logic and Languages of Higher-Dimensional Automata
par: Amrane, Amazigh, et autres
Publié: (2024)

Complete Test Suites for Automata in Monoidal Closed Categories
par: Kocsis, Bálint, et autres
Publié: (2024)

Tracy, Traces, and Transducers: Computable Counterexamples and Explanations for HyperLTL Model-Checking
par: Winter, Sarah, et autres
Publié: (2024)

Higher-Dimensional Timed Automata for Real-Time Concurrency
par: Amrane, Amazigh, et autres
Publié: (2024)

Deciding the synthesis problem for hybrid games through bisimulation
par: Dima, Catalin, et autres
Publié: (2024)

Message complexity for unary multiautomata systems
par: Choffrut, Christian
Publié: (2024)

The Tractability Border of Reachability in Simple Vector Addition Systems with States
par: Chistikov, Dmitry, et autres
Publié: (2024)