Items where Author is "Nie, Zipei"
 | Up a level |
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 1.
Article
Lisitsa, Alexei and Nie, Zipei and Vernitski, Alexei (2025) Automated reasoning for proving non-orderability of groups. Journal of Automated Reasoning, 69 (3). DOI https://doi.org/10.1007/s10817-025-09734-9