Transitivity of Subtyping for Intersection Types.

Published in: CoRR (2019)

Keyphrases

hidden markov models
digital libraries
preprocessing
real world
genetic algorithm
website
case study
search algorithm
pattern recognition
computational complexity
information technology