Formalizing Soundness of Contextual Effects.

Polyvios Pratikakis Jeffrey S. Foster Michael Hicks Iulian Neamtiu

Published in: TPHOLs (2008)

Keyphrases

contextual information
context dependent
data sets
three dimensional
computer based instruction
database
decision making
decision trees
database systems
case based reasoning