Copertina

Resynchronized Uniformization and Definability Problems for Rational Relations

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Löding, Christof, Winter, Sarah
Natura:	Preprint
Pubblicazione:	2021
Soggetti:	Formal Languages and Automata Theory
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

A Regular and Complete Notion of Delay for Streaming String Transducers
di: Filiot, Emmanuel, et al.
Pubblicazione: (2022)

Constructing Deterministic Parity Automata from Positive and Negative Examples
di: Bohn, León, et al.
Pubblicazione: (2023)

Saturation Problems for Families of Automata
di: Bohn, León, et al.
Pubblicazione: (2025)

Finite-valued Streaming String Transducers
di: Filiot, Emmanuel, et al.
Pubblicazione: (2024)

Minimal History-Deterministic Co-Buchi Automata: Congruences and Passive Learning
di: Löding, Christof, et al.
Pubblicazione: (2025)

Uniform Membership for Hyperedge Replacement Grammars and Related Decision Problems
di: Pshenitsyn, Tikhon
Pubblicazione: (2025)

On the Boolean Closure of Deterministic Top-Down Tree Automata
di: Löding, Christof, et al.
Pubblicazione: (2024)

Synthesizing Computable Functions from Rational Specifications over Infinite Words
di: Filiot, Emmanuel, et al.
Pubblicazione: (2021)

On Minimization and Learning of Deterministic $ω$-Automata in the Presence of Don't Care Words
di: Löding, Christof, et al.
Pubblicazione: (2022)

Some Remarks on First-Order Definable Tree Languages
di: Blumensath, Achim
Pubblicazione: (2024)

The Expansion Problem for Infinite Trees
di: Blumensath, Achim
Pubblicazione: (2023)

Approximate Problems for Finite Transducers
di: Filiot, Emmanuel, et al.
Pubblicazione: (2025)

The Similarity Control Problem with Required Events
di: Wang, Yu, et al.
Pubblicazione: (2026)

On the Separability Problem of VASS Reachability Languages
di: Keskin, Eren, et al.
Pubblicazione: (2024)

Undecidability of the Emptiness Problem for Weak Models of Distributed Computing
di: Principato, Flavio T., et al.
Pubblicazione: (2025)

Positive Characteristic Sets for Relational Pattern Languages
di: Mousawi, S. Mahmoud, et al.
Pubblicazione: (2025)

Fine-Grained Complexity of Ambiguity Problems on Automata and Directed Graphs
di: Drabik, Karolina, et al.
Pubblicazione: (2025)

Deciding Conjugacy of a Rational Relation
di: Aiswarya, C., et al.
Pubblicazione: (2023)

Tracy, Traces, and Transducers: Computable Counterexamples and Explanations for HyperLTL Model-Checking
di: Winter, Sarah, et al.
Pubblicazione: (2024)

Prophecies all the Way: Game-based Model-Checking for HyperQPTL beyond $\forall^*\exists^*$
di: Winter, Sarah, et al.
Pubblicazione: (2025)

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

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

Temporally Non-Uniform Cellular Automata: Surjectivity, Reversibility and Cyclic Behavior
di: Paul, Subrata, et al.
Pubblicazione: (2024)

Layered automata: A canonical model for automata over infinite words
di: Casares, Antonio, et al.
Pubblicazione: (2026)

Abstract String Domain Defined with Word Equations as a Reduced Product (Extended Version)
di: Nepeivoda, Antonina, et al.
Pubblicazione: (2025)

The Trembling-Hand Problem for LTLf Planning
di: Yu, Pian, et al.
Pubblicazione: (2024)

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification
di: Hong, Chih-Duo, et al.
Pubblicazione: (2025)

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

Active Learning of Symbolic Automata Over Rational Numbers
di: Hagedorn, Sebastian, et al.
Pubblicazione: (2025)

Rational-Valued Affine Verifiers in Arthur--Merlin Proof Systems
di: Chen, Zeyu, et al.
Pubblicazione: (2025)

A Sharper Upper Bound for the Separating Words Problem
di: Dumitru, Bogdan C.
Pubblicazione: (2025)

Is decidability of the Submonoid Membership Problem closed under finite extensions?
di: Shafrir, Doron
Pubblicazione: (2024)

Completing the picture for the Skolem Problem on order-4 linear recurrence sequences
di: Bacik, Piotr
Pubblicazione: (2024)

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

Locality and Centrality: The Variety ZG
di: Amarilli, Antoine, et al.
Pubblicazione: (2021)

Algebra and coalgebra of stream products
di: Boreale, Michele, et al.
Pubblicazione: (2021)

Diagnosability of labeled $\mathfrak{D_p}$ automata
di: Zhang, Kuize, et al.
Pubblicazione: (2021)

Token Games and History-Deterministic Quantitative-Automata
di: Boker, Udi, et al.
Pubblicazione: (2021)

WEX: Formal Specifications for Windows in Stream Processing
di: Hitarth, S, et al.
Pubblicazione: (2022)

A General Information Extraction Framework Based on Formal Languages
di: Schmid, Markus L.
Pubblicazione: (2025)