Jul 01, 2025

25.29 Left quotient operator on regular expressions

Jul 01, 2025

25.28 A Streaming Machine Model for Polyregular Functions

Jul 01, 2025

25.27 Increasing-unbounded Simple Components

Jul 01, 2025

25.26 Memory requirements of subgame perfect equilibria in reachability games

Jul 01, 2025

25.25 Do probabilities matter for resolving nondeterminism?

Jul 01, 2025

25.24 Classes of languages with objective-independent memory

Jul 01, 2025

25.23 Complexity of deciding conjugacy of rational relations

Jul 01, 2025

25.22 Fine-grained complexity of omega-automata inclusion

Jul 01, 2025

25.21 Simulation decidability in Gap-order Constraint Systems

Jul 01, 2025

25.20 On an equivalence between finitely many tokens and one invisible token