Reverse Mathematics and Partial Orders, University of Udine, Italy, 2014. Supervised by Alberto Marcone.

Emanuele Frittaion

Published in: Bull. Symb. Log. (2018)

Keyphrases

partial order
partially ordered
total order
stable marriage
electrical engineering
partial ordering
lattice structure
computer science
semi supervised
learning algorithm
case study
unsupervised learning
supervised learning
e learning
hong kong
machine learning
sequential patterns
data structure
vertex cover