Choice sequence and nonstandard extension of type theory.

Published in: ARIMA J. (2015)

Keyphrases

computational model
theoretical basis
general theory
decision trees
image segmentation
database
multiscale
formal theory
linear time temporal logic