共 50 条
- [21] COMPACTIFICATION OF D=11 SUPERGRAVITY ON S4 (OR 11=7+4, TOO) [J]. NUCLEAR PHYSICS B, 1984, 242 (02) : 377 - 392
- [23] A CHARACTERIZATION OF THE SIMPLE-GROUP J4 [J]. OSAKA JOURNAL OF MATHEMATICS, 1981, 18 (01) : 13 - 24
- [26] Intuitionistic S4 is decidable [J]. 2023 38TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS, 2023,
- [30] Super fivebranes near the boundary of AdS7 x S4 [J]. NUCLEAR PHYSICS B, 2000, 567 (1-2) : 133 - 150