- Flag algebras Alexander A. Razborov Fri 04 July 2025
- Bridging Psychology and Computation: Modular Formalization of Psychological Theories with Automata and Model Checking Alain Finkel Gaspard Fougea Stéphane Le Roux Fri 04 July 2025
- Algorithmic Aspects of Lipschitz Functions Cameron Freer Bjø rn Kjos-Hanssen André Nies Frank Stephan Fri 04 July 2025
- On the Computability of Conditional Probability Nathanael L. Ackerman Cameron E. Freer Daniel M. Roy Fri 04 July 2025
- On the partially commutative shuffle product Gérard Duchamp Daniel Krob Thu 03 July 2025
- Derivatives of rational expressions with multiplicity Sylvain Lombardy Jacques Sakarovitch Thu 03 July 2025
- The shuffle algebra and its derivations Masashi Katsura Yuji Kobayashi Thu 03 July 2025
- Diagonal Representation of Algebraic Power Series: A Glimpse Behind the Scenes Sergey Yurkevich Thu 03 July 2025
- Characterization of rational and algebraic power series Wolfgang Wechler Thu 03 July 2025
- Extension of Brzozowski's derivation calculus of rational expressions to series over the free partially commutative monoids Jean Berstel Christophe Reutenauer Thu 03 July 2025
- Linear Differential Equations as a Data Structure Bruno Salvy Wed 02 July 2025
- Single-exponential bounds for diagonals of D-finite power series Shaoshi Chen Frédéric Chyzak Pingchuan Ma Chaochao Zhu Wed 02 July 2025
- The KleeneSchützenberger Theorem for Formal Power Series in Partially Commuting Variables Manfred Droste Paul Gastin Tue 01 July 2025
- Weighted and unweighted trace automata Dietrich Kuske Tue 01 July 2025
- Existential Positive Types and Preservation under Homomorphisisms Benjamin Rossman Tue 24 June 2025
- Transformers as Transducers Lena Strobl Dana Angluin David Chiang Jonathan Rawski Ashish Sabharwal Fri 13 June 2025
- What Formal Languages Can Transformers Express A Survey Lena Strobl William Merrill Gail Weiss David Chiang Dana Angluin Thu 12 June 2025
- On Linearization of Control Systems Bronisław Jakubczyk Witold Respondek Tue 10 June 2025
- Rank and symmetries of signature tensors Francesco Galuppi Pierpaola Santarsiero Tue 10 June 2025
- A Linear Algebraic Framework for the Analysis of Discrete-Time Nonlinear Systems J. W. Grizzle Mon 09 June 2025
Library Size: 13G (12943 entries),
Last Updated: Apr 05, 2026, 21:58:59,
Build Time: N/A
