Výsledky vyhledávání

  1. 1.
    0522505 - MÚ 2020 RIV eng U - Uspořádání akce
    Chodounský, David - Verner, J. - Cintula, Petr - Honzík, R. - Hubička, J. - Pudlák, Pavel - Starý, J. - Stejskalová, Šárka - Thapen, Neil
    Logic Colloquium 2019.
    [Prague, 11.08.2019-16.08.2019, (K-WRD 230/198)]
    Institucionální podpora: RVO:67985840 ; RVO:67985807
    Klíčová slova: mathematical logic
    Kód oboru RIV: BA - Obecná matematika; BA - Obecná matematika (UIVT-O)
    Obor OECD: Pure mathematics; Pure mathematics (UIVT-O)
    https://lc2019.cz/
    Trvalý link: http://hdl.handle.net/11104/0306989
     
  2. 2.
    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