Vol-2662⫷ Vol-2663 ⫸Vol-2664
urn:nbn:de:0074-2663-0


Vol-2663/paper-5⫷Vol-2663/paper-6⫸Vol-2663/paper-7
Stefan BorgwardtAnke HirschAlisa KovtunovaFrederik Wiehr

In the Eye of the Beholder: Which Proofs are Best?