Decidability of Several Concepts of Finiteness for Simple Types.

José Espírito Santo Ralph Matthes Luís Pinto

Published in: Fundam. Informaticae (2019)

Keyphrases

databases
simple examples
database
search engine
information systems
case study
keywords
data structure
artificial neural networks
evolutionary algorithm
description logics
concept learning