共 50 条
- [24] The Isomorphism Problem for a Family of One-Relator Groups Acta Mathematica Vietnamica, 2020, 45 : 897 - 902
- [25] ISOMORPHISM PROBLEM FOR A CLASS OF ONE-RELATOR GROUPS NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 22 (05): : A551 - A551
- [28] The Reachability Problem for Petri Nets is Not Primitive Recursive 2021 IEEE 62ND ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS 2021), 2022, : 1241 - 1252