Browse by Journal
 | Up a level |
Number of items: 1.
Lisitsa, Alexei and Nie, Zipei and Vernitski, Alexei (2025) Automated reasoning for proving non-orderability of groups. Journal of Automated Reasoning. (In Press)
| Up a level |
Lisitsa, Alexei and Nie, Zipei and Vernitski, Alexei (2025) Automated reasoning for proving non-orderability of groups. Journal of Automated Reasoning. (In Press)