Login / Signup

A Complete Axiomatization of Strict Equality.

Javier ÁlvezFrancisco Javier López-Fraguas
Published in: FLOPS (2010)
Keyphrases
  • complete axiomatization
  • inclusion dependencies
  • neural network
  • databases
  • probabilistic model