Oleksandr Deineha

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 3

Top Topics

Database Query Languages

Lambda Calculus

Kernel Regression

Top Venues

Publications

Oleksandr Deineha, Volodymyr Donets, Grygoriy Zholtkevych
Deep Learning Models for Estimating Number of Lambda- Term Reduction Steps. ProfIT AI (2023)
Oleksandr Deineha, Volodymyr Donets, Grygoriy Zholtkevych
Estimating Lambda-Term Reduction Complexity with Regression Methods. IT&I (2023)
Oleksandr Deineha, Volodymyr Donets, Grygoriy Zholtkevych
On Randomization of Reduction Strategies for Typeless Lambda Calculus. ICTERI (2023)