Login / Signup
Non-Definability of the Class of Complete Bundled Trees.
Alberto Zanardo
Bruno Barcellan
Mark Reynolds
Published in:
Log. J. IGPL (1999)
Keyphrases
</>
fixed point
propositional logic
data sets
search algorithm
multi class
np complete
tree structure
labeled trees