Imagen de Portada

Expregular functions

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Colcombet, Thomas, Lhote, Nathan, Ohlmann, Pierre
Formato:	Preprint
Publicado:	2026
Materias:	Formal Languages and Automata Theory Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Characterising memory in infinite games
por: Casares, Antonio, et al.
Publicado: (2022)

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

Synthesis of Computable Regular Functions of Infinite Words
por: Dave, V., et al.
Publicado: (2019)

A positional $\mathbfΠ^0_3$-complete objective
por: Casares, Antonio, et al.
Publicado: (2024)

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

A Uniform Framework for Language Inclusion Problems
por: Doveri, Kyveli, et al.
Publicado: (2024)

The memory of $ω$-regular and BC($Σ_2^0$) objectives
por: Casares, Antonio, et al.
Publicado: (2025)

Resolving Nondeterminism with Randomness
por: Henzinger, Thomas A., et al.
Publicado: (2025)

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

Extending QuAK with Nested Quantitative Automata
por: Henzinger, Thomas A., et al.
Publicado: (2026)

Automating the Analysis of Quantitative Automata with QuAK
por: Chalupa, Marek, et al.
Publicado: (2025)

Monitoring Timed Properties (Revisited)
por: Grosen, Thomas Møller, et al.
Publicado: (2022)

History-deterministic Timed Automata
por: Bose, Sougata, et al.
Publicado: (2023)

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

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

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

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

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

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

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

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

A formal query language and automata model for aggregation in complex event recognition
por: Bourhis, Pierre, et al.
Publicado: (2026)

Minimizing Streaming String Transducers: An algebraic approach
por: Benalioua, Yahia Idriss, et al.
Publicado: (2026)

Minimizing Cost Register Automata over a Field
por: Benalioua, Yahia Idriss, et al.
Publicado: (2023)

The $\mathsf{AC}^0$-Complexity Of Visibly Pushdown Languages
por: Göller, Stefan, et al.
Publicado: (2023)

A Dichotomy Theorem for Automatic Structures
por: Cuvelier, Antoine, et al.
Publicado: (2026)

How Concise are Chains of co-Büchi Automata?
por: Ehlers, Rüdiger
Publicado: (2026)

Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes)
por: Bollig, Benedikt
Publicado: (2026)

String Solving with Stabilization and Transducers (Technical Report)
por: Chocholatý, David, et al.
Publicado: (2026)

Knowledge Compilation for Quantification in Alternating Automata
por: Akshay, S., et al.
Publicado: (2026)

Minimization of Streaming Transducers
por: Bianchini, Christian, et al.
Publicado: (2026)

Kofola 1.0: A Modular Approach to ω-Regular Complementation and Inclusion Checking (Technical Report)
por: Alexaj, Ondrej, et al.
Publicado: (2026)

Intersecting Dense Automata
por: Chistikov, Dmitry, et al.
Publicado: (2026)

Variants of Higher-Dimensional Automata
por: Bazille, Hugo, et al.
Publicado: (2026)

SENTIL: A Runtime Verification Tool for Probabilistic Temporal Logic
por: Quansah, Paapa Kwesi, et al.
Publicado: (2026)

Fast Obligation Translation and Synthesis
por: Duret-Lutz, Alexandre, et al.
Publicado: (2026)

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

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

Automatic constraint satisfaction problem
por: Bulatov, Andrei, et al.
Publicado: (2026)

A Complete Propositional Dynamic Logic for Regular Expressions with Lookahead
por: Nakamura, Yoshiki
Publicado: (2026)