Type-checking zero-knowledge.

Michael Backes Catalin Hritcu Matteo Maffei

Published in: CCS (2008)

Keyphrases

type checking
knowledge base
knowledge representation
expert systems
knowledge discovery
database systems
query processing