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. (In Press)