Gamma-Reduction in Type Theory of Acyclic Recursion.

Roussanka Loukanova

Published in: Fundam. Informaticae (2019)

Keyphrases

theoretical basis
artificial intelligence
theoretical framework
transitive closure
real time
feature selection
website
np hard
database schemes