Buchumschlag

Rabin Games and Colourful Universal Trees

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Majumdar, Rupak, Saglam, Irmak, Thejaswini, K. S.
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science Data Structures and Algorithms Formal Languages and Automata Theory F.4.1; G.2.1
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Scalable Learning of One-Counter Automata via State-Merging Algorithms
von: Guha, Shibashis, et al.
Veröffentlicht: (2025)

Model-Checking PCTL Properties of Stateless Probabilistic Pushdown Systems
von: Lin, Deren, et al.
Veröffentlicht: (2014)

Inquisitive Team Semantics of LTL
von: Bozzelli, Laura, et al.
Veröffentlicht: (2025)

A Theory of Hanoi Omega-Automata and Games
von: Filiot, Emmanuel, et al.
Veröffentlicht: (2026)

Have a thing? Reasoning around recursion with dynamic typing in grounded arithmetic
von: Bobrow, Elliot, et al.
Veröffentlicht: (2025)

Orbit-finite linear programming
von: Ghosh, Arka, et al.
Veröffentlicht: (2023)

A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings
von: Grabolle, Gustav
Veröffentlicht: (2022)

Satisfiability of Context-free String Constraints with Subword-ordering and Transducers
von: Aiswarya, C, et al.
Veröffentlicht: (2024)

(Sets of ) Complement Scattered Factors
von: Adamson, Duncan, et al.
Veröffentlicht: (2026)

Equivariant ideals of polynomials
von: Ghosh, Arka, et al.
Veröffentlicht: (2024)

Characterizing NC1 with Typed Monoids
von: Dawar, Anuj, et al.
Veröffentlicht: (2025)

A Myhill-Nerode Type Characterization of 2detLIN Languages
von: Nagy, Benedek
Veröffentlicht: (2025)

A Myhill-Nerode Theorem for Generalized Automata, with Applications to Pattern Matching and Compression
von: Cotumaccio, Nicola
Veröffentlicht: (2023)

Constant-delay enumeration for SLP-compressed documents
von: Muñoz, Martín, et al.
Veröffentlicht: (2022)

Data Structures for Finite Downsets of Natural Vectors: Theory and Practice
von: Cadilhac, Michaël, et al.
Veröffentlicht: (2025)

From Compactifying Lambda-Letrec Terms to Recognizing Regular-Expression Processes
von: Grabmayer, Clemens
Veröffentlicht: (2024)

Introducing Divergence for Infinite Probabilistic Models
von: Finkel, Alain, et al.
Veröffentlicht: (2023)

$k$-Universality of Regular Languages Revisited
von: Adamson, Duncan, et al.
Veröffentlicht: (2025)

Openness And Partial Adjacency In One Variable TPTL
von: Krishna, Shankara Narayanan, et al.
Veröffentlicht: (2024)

Dynamic direct (ranked) access of MSO query evaluation over SLP-compressed strings
von: Muñoz, Martín
Veröffentlicht: (2026)

Dynamic Membership for Regular Tree Languages
von: Amarilli, Antoine, et al.
Veröffentlicht: (2025)

Prefix Trees Improve Memory Consumption in Large-Scale Continuous-Time Stochastic Models
von: Taylor, Landon, et al.
Veröffentlicht: (2025)

Polynomial Bounds of CFLOBDDs against BDDs
von: Zhi, Xusheng, et al.
Veröffentlicht: (2024)

Stratifiable formulae are not context-free
von: Ryan-Smith, Calliope
Veröffentlicht: (2023)

On a Generalization of the Christoffel Tree: Epichristoffel Trees
von: Krishnamoorthy, Abhishek, et al.
Veröffentlicht: (2025)

Hypernode Automata
von: Bartocci, Ezio, et al.
Veröffentlicht: (2023)

One-sided Hom shifts
von: Béal, Marie-Pierre, et al.
Veröffentlicht: (2025)

A closer look at TDFA
von: Borsotti, Angelo, et al.
Veröffentlicht: (2022)

Maximal Closed Substrings
von: Badkobeh, Golnaz, et al.
Veröffentlicht: (2022)

Novel Results on the Number of Runs of the Burrows-Wheeler-Transform
von: Giuliani, Sara, et al.
Veröffentlicht: (2020)

A Fast Algorithm for Computing Prefix Probabilities
von: Nowak, Franz, et al.
Veröffentlicht: (2023)

Generating a Gray code for prefix normal words in amortized polylogarithmic time per word
von: Burcsi, Péter, et al.
Veröffentlicht: (2020)

Computing Minimal Absent Words and Extended Bispecial Factors with CDAWG Space
von: Inenaga, Shunsuke, et al.
Veröffentlicht: (2024)

Absent Subsequences in Words
von: Kosche, Maria, et al.
Veröffentlicht: (2021)

Exponent-Strings and Their Edit Distance
von: Baek, Ingyu
Veröffentlicht: (2024)

Subsequences in Bounded Ranges: Matching and Analysis Problems
von: Kosche, Maria, et al.
Veröffentlicht: (2022)

Indexing Finite-State Automata Using Forward-Stable Partitions
von: Becker, Ruben, et al.
Veröffentlicht: (2024)

Efficient Matching of Some Fundamental Regular Expressions with Backreferences
von: Nogami, Taisei, et al.
Veröffentlicht: (2025)

Deciding Reachability and the Covering Problem with Diagnostics for Sound Acyclic Free-Choice Workflow Nets
von: Prinz, Thomas M., et al.
Veröffentlicht: (2026)

Algorithmical Aspects of Some Bio Inspired Operations
von: Dumitran, Marius
Veröffentlicht: (2025)