Login / Signup

Functional Interpretations of Feasibly Constructive Arithmetic.

Stephen A. CookAlasdair Urquhart
Published in: Ann. Pure Appl. Log. (1993)
Keyphrases
  • arithmetic operations
  • neural network
  • databases
  • decision making
  • floating point