Principal Typings for Explicit Substitutions Calculi.

Daniel Lima Ventura Mauricio Ayala-Rincón Fairouz Kamareddine

Published in: CiE (2008)

Keyphrases

artificial intelligence
database
real time
data sets
neural network
feature selection
website
digital libraries
mobile robot
fuzzy logic
reasoning problems