Cryptology ePrint Archive: Report 2007/401

Available versions in chronological order

20071021:182751 (posted 21-Oct-2007 18:27:51 UTC): 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 ]