Vol-3431⫷ Vol-3432 ⫸Vol-3433
urn:nbn:de:0074-3432-0


Vol-3432/paper11⫷Vol-3432/paper12⫸Vol-3432/paper13
Jedrzej Potoniec

Is the Proof Length a Good Indicator of Hardness for Reason-able Embeddings?