[Proof Complexity] test

Jan Krajicek krajicek at math.cas.cz
Mon Nov 18 22:40:20 CET 2002 

This is a test only. Jan

More information about the Proof-Complexity mailing list