Vol-877⫷ Vol-878 ⫸Vol-879
urn:nbn:de:0074-878-0


None⫷None
Pierre-Emmanuel CornilleauRonan SaillardFrédéric Besson

Walking through the Forest: Fast EUF Proof-Checking Algorithms