Oleksandr Deineha

Orcid: 0000-0001-8024-8812

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of six.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Deep Learning Models for Estimating Number of Lambda- Term Reduction Steps.
Proceedings of the 3rd International Workshop of IT-professionals on Artificial Intelligence, 2023

Estimating Lambda-Term Reduction Complexity with Regression Methods.
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.
Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2023


  Loading...