Decidable theories of non-projectable l-groups of continuous functions.

Published in: Ann. Pure Appl. Log. (2007)

Keyphrases

continuous functions
differential equations
real valued
neural network
activation function
single valued
genetic algorithm
endpoints
machine learning
digital topology