Algorithmic Eta-reduction in Type-theory of Acyclic Recursion.

Roussanka Loukanova

Published in: ICAART (2) (2020)

Keyphrases

theoretical basis
neural network
multi agent
search algorithm
evolutionary algorithm
np hard
np complete
theoretical framework
information retrieval
genetic algorithm
database systems
knowledge representation
rough sets
computational model
complex objects