- Differentiably Finite Power Series R. P. Stanley Sun 01 March 2020
- Generating functions for generating trees Cyril Banderier Philippe Flajolet Daniele Gardy Mireille Bousquet-Melou Alain Denise Dominique Gouyou-Beauchamps Sun 01 March 2020
- D-finite power series Leonard Lipshitz Sun 01 March 2020
- The Bivariate Generating Function and Two Problems in Discrete Stochastic Processes Irving Gerst Sun 01 March 2020
- The Many Faces of Interpolation Johan van Benthem Sat 29 February 2020
- Applications of Craig Interpolation to Model Checking Kenneth McMillan Sat 29 February 2020
- The diagonal of a D-finite power series is D-finite Leonard Lipshitz Sat 29 February 2020
- Transitivity of permutation groups on unordered sets Peter J. Cameron Sat 29 February 2020
- Sequences Realized by Oligomorphic Permutation Groups Peter J. Cameron Sat 29 February 2020
- Orbits on n-tuples for Infinite Permutation Groups Francesca Merola Sat 29 February 2020
- Completeness before Post: Bernays, Hilbert, and the Development of Propositional Logic Richard Zach Thu 27 February 2020
- Cobham--Semenov theorem and Nd-subshifts F. Durand Tue 25 February 2020
- Power series with coefficients from a finite set Jason P. Bell Shaoshi Chen Tue 25 February 2020
- Total dual integrality and integer polyhedra F.R. Giles W.R. Pulleyblank Tue 25 February 2020
- A holonomic systems approach to special functions identities Doron Zeilberger Tue 25 February 2020
- Rational and algebraic series in combinatorial enumeration Mireille Bousquet-Mélou Mon 24 February 2020
- Unambiguous constrained automata Michael Cadilhac Alain Finkel Pierre McKenzie Mon 24 February 2020
- Holonomic functions and their relation to linearly constrained languages P. Massazza Mon 24 February 2020
- On the Complexity of Derivation in Propositional Calculus G. S. Tseitin Mon 24 February 2020
- Complete sets and the polynomial-time hierarchy Celia Wrathall Sun 23 February 2020
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
