Narrow proofs may be maximally long

Albert Atserias, Massimo Lauria, Jakob Nordström

Forskningsoutput: TidskriftsbidragArtikel i vetenskaplig tidskriftPeer review

Fingeravtryck

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

Mathematics

Computer Science