共 50 条
- [33] ON QUASICONVEXITY IN THE CALCULUS OF VARIATIONS PROCEEDINGS OF SYMPOSIA IN PURE MATHEMATICS, 1986, 45 : 169 - 173
- [35] Probabilistic Analysis of the Quality Calculus FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS, FMOODS/FORTE 2013, 2013, 7892 : 258 - 272
- [36] Lambda Calculus and Probabilistic Computation 2019 34TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2019,
- [37] Foundations for a Probabilistic Event Calculus LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2017, 2017, 10377 : 57 - 63