About Effective Quotients in Constructive Type Theory.

Maria Emilia Maietti

Published in: TYPES (1998)

Keyphrases

theoretical framework
high quality
real time
genetic algorithm
three dimensional
data streams
computationally efficient
neural network
data model
wireless sensor networks
cost effective
general theory
formal theory