Login / Signup

The Equivalence Problem and Correctness Formulas for a Simple Class of Programs (Extended Abstract).

Oscar H. IbarraLouis E. Rosier
Published in: MFCS (1984)
Keyphrases
  • extended abstract
  • relational databases
  • provably correct
  • database
  • search algorithm
  • class labels
  • multi class classification