Login / Signup

Computational Soundness of a Call by Name Calculus of Recursively-scoped Records.

Elena Machkasova
Published in: Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases
  • database
  • databases
  • multiresolution
  • real time
  • machine learning
  • learning algorithm
  • expressive power
  • coarse to fine
  • relational calculus