A Sufficient Condition for Completability of Partial Combinatory Algebras.

Andrea Asperti Agata Ciabattoni

Published in: J. Symb. Log. (1997)

Keyphrases

sufficient conditions
asymptotic stability
exponential stability
linear complementarity problem
fixed point
linear systems
uniform convergence
lyapunov function
genetic algorithm
neural network