Login / Signup

Efficient Representation and Validation of Proofs.

George C. NeculaPeter Lee
Published in: LICS (1998)
Keyphrases
  • relational databases
  • computationally efficient
  • compact representations
  • neural network
  • highly efficient