Ievgen Ivanov. On Newman's Lemma and Non-termination. In Anatoly Anisimov, Vitaliy V. Snytyuk, Aldrich Chris, Andreas Pester, Frédéric Mallet, Hiroshi Tanaka, Iurii Krak, Karsten Henke, Oleg Chertov, Oleksandr Marchenko, Sándor Bozóki, Vitaliy Tsyganok, Vladimir Vovk, editors, Selected Papers of the X International Scientific Conference "Information Technology and Implementation" (IT&I-2023). Conference Proceedings, Kyiv, Ukraine, November 20 - 21, 2023. Volume 3624 of CEUR Workshop Proceedings, pages 14-24, CEUR-WS.org, 2023. [doi]
Abstract is missing.