Spectra of finitely presented lattice-ordered Abelian groups and MV-algebras, part 1.

Vincenzo Marra Daniel McNeill Andrea Pedrini

Published in: TACL (2013)

Keyphrases

data sets
decision trees
case study
data structure
databases
knowledge base
database systems
temporal reasoning
spatial reasoning
spectral images