Oleksandr Deineha

According to our database, Oleksandr Deineha authored at least 3 papers in 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of six.

2023

Deep Learning Models for Estimating Number of Lambda- Term Reduction Steps.

Oleksandr Deineha, Volodymyr Donets, Grygoriy Zholtkevych

Proceedings of the 3rd International Workshop of IT-professionals on Artificial Intelligence, 2023

Estimating Lambda-Term Reduction Complexity with Regression Methods.

Oleksandr Deineha, Volodymyr Donets, Grygoriy Zholtkevych

Proceedings of the Selected Papers of the X International Scientific Conference "Information Technology and Implementation" (IT&I-2023). Conference Proceedings, Kyiv, Ukraine, November 20, 2023

On Randomization of Reduction Strategies for Typeless Lambda Calculus.

Oleksandr Deineha, Volodymyr Donets, Grygoriy Zholtkevych

Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2023