Logic Operators and Quantifiers in Type-Theory of Algorithms.

Roussanka Loukanova

Published in: LENLS (2022)

Keyphrases

orders of magnitude
significant improvement
computational cost
computationally efficient
learning algorithm
mathematical foundations
formal theory
worst case
logic programming
neural network
benchmark datasets
theoretical framework
computational efficiency
recently developed
multi valued
linear algebra