共 50 条
- [3] On the instantons and the hypermultiplet mass of N=2* super Yang-Mills on S4 JOURNAL OF HIGH ENERGY PHYSICS, 2012, (03):
- [9] A RESOLUTION PROVER FOR S4 SOVIET JOURNAL OF COMPUTER AND SYSTEMS SCIENCES, 1991, 29 (03): : 97 - 101
- [10] Intuitionistic S4 is decidable 2023 38TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS, 2023,