Login / Signup
Efficient Representation and Validation of Proofs.
George C. Necula
Peter Lee
Published in:
LICS (1998)
Keyphrases
</>
relational databases
computationally efficient
compact representations
neural network
highly efficient