Login / Signup
Canonical extensions and completions of posets and lattices.
Mai Gehrke
Hilary A. Priestley
Published in:
Reports Math. Log. (2008)
Keyphrases
</>
default theories
default logic
data sets
efficient implementation
database systems
search algorithm
upper bound
rough approximations
partially ordered sets