共 50 条
- [34] SYNTHESIS AND CRYSTAL-STRUCTURES OF (PPH4)2[IN(S4)(S6)CL] AND (PPH4)2[IN(S4)CL3] [J]. ZEITSCHRIFT FUR ANORGANISCHE UND ALLGEMEINE CHEMIE, 1994, 620 (09): : 1607 - 1612
- [35] Prescribing scalar curvature on S3 [J]. ANNALES DE L INSTITUT HENRI POINCARE-ANALYSE NON LINEAIRE, 2007, 24 (04): : 563 - 587
- [36] Intuitionistic S4 is decidable [J]. 2023 38TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS, 2023,
- [40] A RESOLUTION PROVER FOR S4 [J]. SOVIET JOURNAL OF COMPUTER AND SYSTEMS SCIENCES, 1991, 29 (03): : 97 - 101