Cryptology ePrint Archive: Report 2007/401

Available versions in chronological order


Another Look at Automated Theorem-Proving
Neal Koblitz
Publication Info: This is a slightly expanded version of a paper to appear in the Journal of Mathematical Cryptology.


[ Cryptology ePrint archive ]