Search Sciweavers | Sciweavers

6978 search results - page 132 / 1396

» On Proofs in System P

114

click to vote

COMBINATORICS
2000

49views more COMBINATORICS 2000»

A Short Proof of a Partition Relation for Triples

15 years 6 months ago

Download www.combinatorics.org

We provide a much shorter proof of the following partition theorem of P. Erdos and R. Rado: If X is an uncountable linear order into which neither 1 nor 1 embeds, then X (, 4)3 f...

Albin L. Jones

claim paper

Read More »

179

click to vote

TPHOL
2005
IEEE

103views Automated Reasoning» more TPHOL 2005»

A Structured Set of Higher-Order Problems

16 years 10 hour ago

Download mathgate.info

Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...

Christoph Benzmüller, Chad E. Brown

claim paper

Read More »

112

click to vote

ISCAS
2007
IEEE

81views Hardware» more ISCAS 2007»

On the Persistency of Excitation for Blind Channel Estimation in Cyclic Prefix Systems

16 years 22 days ago

Download www.systems.caltech.edu

Borching Su, P. P. Vaidyanathan

claim paper