Oleksandr Deineha, Volodymyr Donets, Grygoriy Zholtkevych. Estimating Lambda-Term Reduction Complexity with Regression Methods. 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 147-156, CEUR-WS.org, 2023. [doi]
Abstract is missing.