A minimalistic many-valued theory of types.

Published in: J. Log. Comput. (2017)

Keyphrases

computational model
database
theoretical framework
information theory
formal theory
real time
image segmentation
artificial neural networks
mobile robot