Some Complexity and Expressiveness Results on Multimodal and Stratified Proof Nets.

Luca Roversi Luca Vercelli

Published in: TYPES (2008)

Keyphrases

multi modal
expressive power
complexity analysis
memory requirements
data sets
decision making
multiscale
computational complexity
expert systems
computational cost
lower complexity
real time
neural network
worst case