- On the density of families of sets N Sauer Fri 02 March 2012
- Une interprétation combinatoire des coefficients des développements en série entière des fonctions elliptiques de Jacobi Gérard Viennot Fri 02 March 2012
- A factorization for formal laurent series and lattice path enumeration Ira M Gessel Fri 02 March 2012
- Une combinatoire sous-jacente au théorème des fonctions implicites Gilbert Labelle Fri 02 March 2012
- Sphere packing numbers for subsets of the Boolean n-cube with bounded Vapnik-Chervonenkis dimension David Haussler Fri 02 March 2012
- Fuzzy logic and arithmetical hierarchy Petr Hájek Fri 02 March 2012
- Recursively presented games and strategies Douglas Cenzer Jeffrey Remmel Fri 02 March 2012
- Complement reducible graphs D.G. Corneil H. Lerchs L.Stewart Burlingham Fri 02 March 2012
- A note on compact graphs G. Tinhofer Fri 02 March 2012
- Trace monoids with some invertible generators: two decision problems C. Wrathall Fri 02 March 2012
- Effects of phase space discretization on the long-time behavior of dynamical systems C. Beck G. Roepstorff Fri 02 March 2012
- Nondeterministic data flow programs: How to avoid the merge anomaly Manfred Broy Fri 02 March 2012
- Inductive types and type constraints in the second-order lambda calculus Nax Paul Mendler Fri 02 March 2012
- Classical logic, storage operators and second-order lambda-calculus Jean-Louis Krivine Fri 02 March 2012
- Formalizing forcing arguments in subsystems of second-order arithmetic Jeremy Avigad Fri 02 March 2012
- Fast solution of toeplitz systems of equations and computation of Padé approximants Richard P Brent Fred G Gustavson David Y.Y Yun Fri 02 March 2012
- Easy problems for tree-decomposable graphs Stefan Arnborg Jens Lagergren Detlef Seese Fri 02 March 2012
- On the decidability of the sequence equivalence problem for DOL-systems K. Culik Fri 02 March 2012
- A lower bound on the number of additions in monotone computations C.P. Schnorr Fri 02 March 2012
- UN algorithme calculant le cardinal, fini ou infini, des demi-groupes de matrices Gérard Jacob Fri 02 March 2012
Library Size: 13G (12949 entries),
Last Updated: Apr 11, 2026, 18:05:34,
Build Time: N/A
