Login / Signup

An Abstract Machine Based System for a Lazy Narrowing Calculus.

Maria Teresa Hortalá-GonzálezEva Ullán
Published in: FLOPS (2001)
Keyphrases
  • abstract machine
  • data model
  • lazy learning
  • database systems
  • computer algebra
  • database
  • case study
  • video sequences
  • case based reasoning
  • real world
  • knowledge base
  • automated theorem proving
  • provably correct