Narrow proofs may be maximally long

Albert Atserias, Massimo Lauria, Jakob Nordström

Forskningsoutput: Kapitel i bok/rapport/Conference proceedingKonferenspaper i proceedingPeer review

Fingeravtryck

Fördjupa i forskningsämnen för ”Narrow proofs may be maximally long”. Tillsammans bildar de ett unikt fingeravtryck.