Public

Efficient proof encoding

Published in Lecture notes in computer science • Jan 1, 1997

NobleIDNI0P32W59R24S27

Authors:

Uroš Pompe

Subject

Computer science

Mathematical proof

Encoding (memory)

Finding related papers...

Discussions

(0)

No comments yet

Be the first to share your thoughts!