Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers
Julkaisuvuosi
2024
Tekijät
Hakoniemi, Tuomas; Limaye, Nutan; Tzameret, Iddo
Organisaatiot ja tekijät
Helsingin yliopisto
Hakoniemi Tuomas
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Konferenssi
Artikkelin tyyppi
Muu artikkeli:
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A4 Artikkeli konferenssijulkaisussaJulkaisukanavan tiedot
Emojulkaisun nimi
Proceedings of the 56th Annual ACM Symposium on Theory of Computing
Konferenssi
Kustantaja
Sivut
1396–1404
ISBN
Julkaisufoorumi
Julkaisufoorumitaso
1
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Kyllä
Julkaisukanavan avoin saatavuus
Kokonaan avoin julkaisukanava
Kustantajan version lisenssi
CC BY
Rinnakkaistallennettu
Kyllä
Rinnakkaistallenteen lisenssi
CC BY
Muut tiedot
Tieteenalat
Tietojenkäsittely ja informaatiotieteet
Julkaisumaa
Yhdysvallat (USA)
Kustantajan kansainvälisyys
Kansainvälinen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Kyllä
Yhteisjulkaisu yrityksen kanssa
Ei
DOI
10.1145/3618260.3649616
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä