118 search results - page 1 / 24 » A Simple Proof of Miller-Yu Theorem |
96
Voted
FUIN
2008
15 years 1 months ago
2008
A few years ago a nice criterion of Martin-L
105
Voted
JAMDS
2002
15 years 21 days ago
2002
Abstract. In this paper we provide a simple proof of the extension theorem for partial orderings due to Suzumura [1983] when the domain of the partial order is finite. The extensio...
IJIS
2007
15 years 24 days ago
2007
109
Voted
IPL
2000
15 years 25 days ago
2000
We give a short and simple proof of Hales and Hallgren's Fourier Sampling Theorem ["Quantum Fourier Sampling Simplified", Proceedings of the Thirty-First Annual ACM...
95
Voted
APAL
1999
15 years 21 days ago
1999
We give a sound and complete propositional S5 tableau system of a particularly simple sort, having an easy completeness proof. It sheds light on why the satisfiability problem for...