- On the Zero-inequivalence Problem for Loop Programs Oscar H. Ibarra Brian S. Leininger Sat 26 August 2023
- On the Simplification and Equivalence Problems for Straight-Line Programs Oscar H. Ibarra Brian S. Leininger Sat 26 August 2023
- Probabilistic Algorithms for Deciding Equivalence of Straight-Line Programs Oscar H. Ibarra Shlomo Moran Sat 26 August 2023
- On the complexity of simple arithmetic expressions Oscar H. Ibarra Brian S. Leininger Shlomo Moran Sat 26 August 2023
- The Complexity of the Equivalence Problem for Straight-Line Programs Oscar H. Ibarra Brian S. Leininger Sat 26 August 2023
- Model Counting Carla P. Gomes Ashish Sabharwal Bart Selman Sat 26 August 2023
- Le nombre de structures finies d'une théorie à caractère fini Chr. Blatter Ernst Specker Sat 26 August 2023
- A note on recurring series Christer Lech Sat 26 August 2023
- Sur les éléments inversibles de l'algèbre de Hadamard des séries rationnelles Christophe Reutenauer Sat 26 August 2023
- On some questions of rationality and decidability Eduardo D. Sontag Sat 26 August 2023
- Synchronized Sequences Jeffrey Shallit Sat 26 August 2023
- Proving properties of some greedily-defined integer recurrences via automata theory Jeffrey Shallit Sat 26 August 2023
- Formal Analysis and Verification of Max-Plus Linear Systems Muhammad Syifa'ul Mufid Andrea Micheli Alessandro Abate Alessandro Cimatti Sat 26 August 2023
- Quantitative Reachability Stackelberg-Pareto Synthesis is NEXPTIME-Complete Thomas Brihaye Véronique Bruyère Gaspard Reghem Sat 26 August 2023
- Multi-Weighted Reachability Games Thomas Brihaye Aline Goeminne Sat 26 August 2023
- Introducing Divergence for Infinite Probabilistic Models Alain Finkel Serge Haddad Lina Ye Sat 26 August 2023
- Combinatorial Proofs of Congruences Ira M. Gessel Sat 26 August 2023
- Congruences Derived from Group Action Gian-Carlo Rota Bruce Sagan Sat 26 August 2023
- A Representation Theorem for Holonomic Sequences Based on Counting Lattice Paths Tomer Kotek Johann A. Makowsky Sat 26 August 2023
- Counting Walks in the Quarter Plane Mireille Bousquet-Melou Sat 26 August 2023
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
