Košík

  1. 1.
    0488110 - MÚ 2018 RIV eng U - Uspořádání akce
    Thapen, Neil - Pudlák, Pavel
    Prague Bounded Arithmetic Workshop 2017.
    [Prague, 02.11.2017-03.11.2017, (W-WRD 30/19)]
    GRANT EU: European Commission(XE) 339691 - FEALORA
    Institucionální podpora: RVO:67985840
    Klíčová slova: logic * bounded arithmetic * computational complexity
    Kód oboru RIV: BA - Obecná matematika
    Obor OECD: Pure mathematics
    https://calendar.math.cas.cz/content/prague-bounded-arithmetic-workshop-2017
    Trvalý link: http://hdl.handle.net/11104/0282728