✦ LIBER ✦

Semantics of sub-probabilistic programs

✍ Scribed by Chen, Yixiang ;Wu, Hengyang

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Probabilistic semantics of terminating p

✍ E.A. Kaz'mina 📂 Article 📅 1988 🏛 Elsevier Science ⚖ 472 KB

Probabilistic semantics: An overview

✍ Hugues Leblanc 📂 Article 📅 1980 🏛 Springer 🌐 English ⚖ 829 KB

Probabilistic belief logic and its proba

✍ ZiNing Cao; ChunYi Shi 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 813 KB

Atomic semantics of nonatomic programs

✍ James H. Anderson; Mohamed G. Gouda 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 541 KB

Semantics of Untyped Functional Programs

✍ S. A. Nigiyan; S. A. Avetisyan 📂 Article 📅 2002 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 89 KB

Hybrid probabilistic programs

✍ Alex Dekhtyar; V.S. Subrahmanian 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 516 KB