- Algebraic and algorithmic synergies between promise and infinite-domain CSPs Antoine Mottet Wed 29 January 2025
- Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO Nikolas Mahlmann Wed 29 January 2025
- Corecursive Coding of High Computational Derivatives and Power Series Jerzy Karczmarczuk Wed 29 January 2025
- History-Deterministic Parity Automata: Games, Complexity, and the 2-Token Theorem Aditya Prakash Wed 29 January 2025
- Fined-Grained Complexity of Ambiguity Problems on Automata and Directed Graphs Karolina Drabik Anita Durr Fabian Frei Filip Mazowiecki Karol Węgrzycki Wed 29 January 2025
- A polynomial-time algorithm for the automatic Baire property Ludwig Staiger Wed 29 January 2025
- Quantifier Elimination and Craig Interpolation: The Quantitative Way (Technical Report) Kevin Batz Joost-Pieter Katoen Nora Orhan Wed 29 January 2025
- A General Completeness Theorem for Skip-free Star Algebras Tobias Kappé Todd Schmid Wed 29 January 2025
- Guarded Negation Transitive Closure Logic is 2-EXPTIME-complete Yoshiki Nakamura Wed 29 January 2025
- Complete Quantum Relational Hoare Logics from Optimal Transport Duality Gilles Barthe Minbo Gao Theo Wang Li Zhou Wed 29 January 2025
- Variable Elimination as Rewriting in a Linear Lambda Calculus Thomas Ehrhard Claudia Faggian Michele Pagani Wed 29 January 2025
- Tropical Mathematics and the Lambda-Calculus II: Tropical Geometry of Probabilistic Programming Languages Davide Barbarossa Paolo Pistone Wed 29 January 2025
- Turing in the shadows of Nobel and Abel: an algorithmic story behind two recent prizes David Gamarnik Wed 29 January 2025
- The Alternation Hierarchy of First-Order Logic on Words is Decidable Corentin Barloy Michael Cadilhac Charles Paperman Howard Straubing Wed 29 January 2025
- On the span reachability of polynomial state-affine systems T. Nomura K. Furuta Tue 28 January 2025
- System Identification Entropy for Chen-Fliess Series and Their Interconnections W. Steven Gray Tue 28 January 2025
- A remark on the transfer functions and the realization of homogeneous continuous-time nonlinear systems Michel Fliess Tue 28 January 2025
- A group-theoretic approach to discrete-time non-linear controllability Michel Fliess Dorothee Normand-Cyrot Tue 28 January 2025
- Functional Series Expansions for Nonlinear Input-Output Systems with Delay W. Steven Gray Makhin Thitsa Erik I. Verriest Tue 28 January 2025
- An Algebraic Approach to Functional Expansions, Application to a Singular Optimal Control Problem Michel Fliess Tue 28 January 2025
Library Size: 13G (12945 entries),
Last Updated: Apr 08, 2026, 08:53:29,
Build Time: N/A
