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, 69 (3). DOI https://doi.org/10.1007/s10817-025-09734-9