Sign in

Polynomial Certificates for Propositional Classes.

Marta AriasRoni KhardonRocco A. Servedio
Published in: COLT (2003)
Keyphrases
  • propositional logic
  • access control
  • relational databases
  • first order logic
  • data sets
  • default logic
  • databases
  • information systems
  • search algorithm
  • public key
  • membership and equivalence queries