𝔖 Bobbio Scriptorium
✦   LIBER   ✦

An extension of the Boyer-Moore Theorem Prover to support first-order quantification

✍ Scribed by Matt Kaufmann

Publisher
Springer Netherlands
Year
1992
Tongue
English
Weight
868 KB
Volume
9
Category
Article
ISSN
0168-7433

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An extension of the Erdős–Neveu–Rényi th
An extension of the Erdős–Neveu–Rényi theorem with applications to order statistics
✍ M. Kaluszka; A. Okolewski 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 90 KB

The necessary and su cient conditions are given for some stochastic process to be an empirical distribution function from some exchangeable random variables. The result is applied to establish sharp lower and upper bounds for order statistics based on possibly dependent random variables.