Coinductive characterizations of applicative structures.

Furio Honsell Marina Lenisa

Published in: Math. Struct. Comput. Sci. (1999)

Keyphrases

mobile robot
neural network
case study
face recognition
wide range
cooperative
search algorithm
evolutionary algorithm
multiresolution