Login / Signup

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

Gerhard JägerDieter 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