The Suslin operator in applicative theories: Its proof-theoretic analysis via ordinal theories.

Gerhard Jäger Dieter Probst

Published in: Ann. Pure Appl. Log. (2011)

Keyphrases

theoretic analysis
real time
databases
formal models
data sets
artificial intelligence
decision making
multimedia
similarity measure
bayesian networks
logic programming
causal reasoning
design theory