Extensional Quotients for Type Theory and the Consistency Property for NF.

Gian Aldo Antonelli

Published in: J. Symb. Log. (1998)

Keyphrases

normal form
global consistency
computational model
theoretical framework
real time
data sets
decision making
general theory
path consistency
database
machine learning
decision trees
data structure