A Log-Sensitive Encoding of Turing Machines in the λ-Calculus.

Beniamino Accattoli Ugo Dal Lago Gabriele Vanoni

Published in: CoRR (2023)

Keyphrases

turing machine
data mining
automated deduction
database
learning algorithm
artificial intelligence
decision trees
database systems
multi agent
search algorithm
expert systems
fractal image compression
formal language
relational calculus