Login / Signup

Naming and Diagonalization, from Cantor to Gödel to Kleene.

Haim Gaifman
Published in: Log. J. IGPL (2006)
Keyphrases
  • propositional logic
  • regular expressions
  • nonlinear dynamical systems
  • blind source separation
  • social bookmarking
  • blind separation
  • valued logic
  • dynamical systems
  • data sets
  • feature extraction