Login / Signup

Some Consequences of Cryptographical Conjectures for S_2^1 and EF.

Jan KrajícekPavel Pudlák
Published in: LCC (1994)
Keyphrases
  • theorem prover
  • negative consequences
  • domain knowledge