Gamma-star Reduction in the Type-theory of Acyclic Algorithms.

Roussanka Loukanova

Published in: ICAART (2) (2018)

Keyphrases

data structure
computational efficiency
linear algebra
database
times faster
recently developed
mathematical foundations
learning algorithm
case study
worst case
optimization problems
benchmark datasets