共 50 条
- [32] FREE INVOLUTIONS ON E(4M) LATTICES [J]. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1995, 123 (06) : 1941 - 1945
- [34] A RESOLUTION PROVER FOR S4 [J]. SOVIET JOURNAL OF COMPUTER AND SYSTEMS SCIENCES, 1991, 29 (03): : 97 - 101
- [35] INVOLUTIONS AND STATIONARY POINT FREE Z(4)-ACTIONS [J]. ILLINOIS JOURNAL OF MATHEMATICS, 1992, 36 (04) : 696 - 706
- [38] Intuitionistic S4 is decidable [J]. 2023 38TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS, 2023,