Login / Signup

Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals.

Ulrich Kohlenbach
Published in: Arch. Math. Log. (1996)
Keyphrases
  • low rate
  • data mining
  • image processing
  • anomaly detection
  • computer networks