Login / Signup

The Number of Proofs for a BCK-Formula.

Yuichi KomoriSachio Hirokawa
Published in: J. Symb. Log. (1993)
Keyphrases
  • computational complexity
  • small number
  • neural network
  • database systems
  • special case
  • computational effort
  • fixed number