Type inhabitation of atomic polymorphism is undecidable.

M. Clarence Protin

Published in: J. Log. Comput. (2021)

Keyphrases

preprocessing
information systems
decision making
database
databases
neural network
learning algorithm
high level
programming language
sufficient conditions