- Lower bounds for cutting planes proofs with small coefficients Maria Bonet Toniann Pitassi Ran Raz Fri 02 March 2012
- Lower bounds for resolution and cutting plane proofs and monotone computations Pavel Pudlák Fri 02 March 2012
- The finite model property for various fragments of linear logic Yves Lafont Fri 02 March 2012
- On finite rigid structures Yuri Gurevich Saharon Shelah Fri 02 March 2012
- Fluted formulas and the limits of decidability William C. Purdy Fri 02 March 2012
- Hereditary undecidability of some theories of finite structures Ross Willard Fri 02 March 2012
- Intuitionistic sets and ordinals Paul Taylor Fri 02 March 2012
- Fibonacci Series Modulo m D. D. Wall Fri 02 March 2012
- The Theorems of Bony and Brezis on Flow-Invariant Sets R. M. Redheffer Fri 02 March 2012
- Hilberttextquotesingles Tenth Problem is Unsolvable Martin Davis Fri 02 March 2012
- A Circle-Of-Lights Algorithm for the Money-Changing Problem Herbert S. Wilf Fri 02 March 2012
- On Chebyshev-Type Inequalities for Primes M. Nair Fri 02 March 2012
- Finiteness of the Odd Perfect and Primitive Abundant Numbers with n Distinct Prime Factors Leonard Eugene Dickson Fri 02 March 2012
- On the Value Group of a Differential Valuation Maxwell Rosenlicht Fri 02 March 2012
- On the Value Group of a Differential Valuation II Maxwell Rosenlicht Fri 02 March 2012
- The finite model property for various fragments of intuitionistic linear logic Mitsuhiro Okada Kazushige Terui Fri 02 March 2012
- The determinacy of Blackwell games Donald A. Martin Fri 02 March 2012
- Finite algebras of relations are representable on finite sets H. Andréka I. Hodkinson I. Németi Fri 02 March 2012
- Quinetextquotesingles `limits of decision' William C. Purdy Fri 02 March 2012
- On the Restraining Power of Guards Erich Grädel Fri 02 March 2012
Library Size: 13G (12942 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
