118 search results - page 1 / 24 » A Simple Proof of Miller-Yu Theorem |
FUIN
2008
13 years 4 months ago
2008
A few years ago a nice criterion of Martin-L
JAMDS
2002
13 years 4 months 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
13 years 4 months ago
2007
IPL
2000
13 years 4 months 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...
APAL
1999
13 years 4 months 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...