Login / Signup

Equivalence of bar induction and bar recursion for continuous functions with continuous moduli.

Makoto FujiwaraTatsuji Kawai
Published in: Ann. Pure Appl. Log. (2019)
Keyphrases
  • continuous functions
  • real valued
  • differential equations
  • neural network
  • datalog programs
  • support vector
  • optimization methods
  • endpoints
  • activation function
  • nonlinear functions
  • digital topology