MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "The Combinatorial Principle." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 155 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • ANNALS OF PURE AND APPLIED LOGIC  
  • by Ernest Schimmerling — 1992
  • … models of the form L[B]. We generalize to L[E] some combinatorial principles that were shown by Jensen…
  • Add To MetaCart
  • principles RT  
  • by Andrey Bovykin, Andreas Weiermann — 2007
  • … The strength of combinatorial principles can be accessed by their density \Lambda Andrey…
  • Add To MetaCart
  • Parallel Strategies  
  • by Pavel Pudlák — 2001
  • … Computer Science, Prague, Czech Republic February 15, 2001 Abstract We consider some combinatorial…
  • Cited by 1 (0 self) – Add To MetaCart
  • Indexed Squares  
  • by James Cummings, Ernest Schimmerling — Journal of Symbolic Logic
  • … In this paper we study some variations on Jensen's celebrated combinatorial principle (variously pronounced…
  • Cited by 6 (3 self) – Add To MetaCart
  • Proof complexity of pigeonhole principles  
  • by Er A. Razborov — 2002 — In Proceedings of the Fifth International Conference on Developments in Language Theory
  • …, is probably the most extensively studied combinatorial principle. In this survey we try to summarize what…
  • Cited by 7 (1 self) – Add To MetaCart
  • Cutting plane and Frege proofs  
  • by Peter Clote — 1995 — Information and Computation
  • …-existence of polynomial size resolution proofs for the pigeonhole principle. By using combinatorial arguments related…
  • Cited by 4 (3 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB