共 50 条
- [21] Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS, FOIKS 2020, 2020, 12012 : 122 - 139
- [22] Strong Invariants Are Hard On the Hardness of Strongest Polynomial Invariants for (Probabilistic) Programs PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (POPL):
- [23] DIRECT METHODS AND STRUCTURES SHOWING SUPERSTRUCTURE EFFECTS .2. A PROBABILISTIC THEORY OF TRIPLET INVARIANTS ACTA CRYSTALLOGRAPHICA SECTION A, 1987, 43 : 14 - 22
- [24] General expression for probabilistic estimation of multiphase structure invariants in the case of a native protein and multiple derivatives. Application to estimates of the three-phase structure invariants ACTA CRYSTALLOGRAPHICA SECTION A, 1997, 53 : 161 - 167
- [25] General expression for probabilistic examination of multiphase structure invariants in the case of a native protein and multiple derivatives. Application to estimates of the three-phase structure invariants Acta Crystallographica, Section A: Foundations of Crystallography, 1997, 53 (pt 2):
- [26] NEIGHBORHOOD PRINCIPLE OF 2-STRUCTURE INVARIANTS - PROBABILISTIC ESTIMATES OF INDIVIDUAL FRIEDEL PHASE PAIRS CHINESE SCIENCE BULLETIN, 1989, 34 (02): : 137 - 141
- [27] SYZYGIES IN THE THEORY OF INVARIANTS MATHEMATICS OF THE USSR-IZVESTIYA, 1983, 47 (03): : 507 - 585