Strong Normalization in the π-calculus with Intersection and Union Types.

Published in: Fundam. Informaticae (2012)

Keyphrases

neural network
data mining
preprocessing
real time
genetic algorithm
computer vision
clustering algorithm
search algorithm
algebraic structure
computer algebra