Representing Inductively Defined Sets by Wellorderings in Martin-Löf's Type Theory.

Published in: Theor. Comput. Sci. (1997)

Keyphrases

set theoretic
data sets
data structure
binary relations
formal theory
real time
databases
neural network
information systems
feature selection
decision making
bayesian networks
digital images
theoretical basis
general theory