✦ LIBER ✦

A probabilistic remark on algebraic program testing

✍ Scribed by Richard A. Demillo; Richard J. Lipton

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Remarks on Testing Probabilistic Process

✍ Yuxin Deng; Rob van Glabbeek; Matthew Hennessy; Carroll Morgan; Chenyi Zhang 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 691 KB

A remark on differential algebraic group

✍ Pillay, Anand 📂 Article 📅 1992 🏛 Taylor and Francis Group 🌐 English ⚖ 396 KB

A remark on Siegel's theorem on algebrai

✍ Mahler, K. 📂 Article 📅 1955 🏛 London Mathematical Society 🌐 English ⚖ 545 KB

A Generalisation of Stationary Distribut

✍ A.K. McIver 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 170 KB

A remark on the algebraic nature of topo

✍ Josef Eschgfäller 📂 Article 📅 1977 🏛 Springer-Verlag 🌐 German ⚖ 821 KB

A remark on nonlocal algebras

✍ B. T. Batikyan; E. A. Gorin 📂 Article 📅 1981 🏛 Springer US 🌐 English ⚖ 290 KB