A Predicative Operator and Underspecification by the Type Theory of Acyclic Recursion.

Roussanka Loukanova

Published in: CSLP (2012)

Keyphrases

theoretical basis
np hard
computational model
data mining
case study
bayesian networks
special case
np complete
theoretical framework