Search results

  1. 1.
    0522505 - MÚ 2020 RIV eng U - Conference, Workshop Arrangement
    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)]
    Institutional support: RVO:67985840 ; RVO:67985807
    Keywords : mathematical logic
    Subject RIV: BA - General Mathematics; BA - General Mathematics (UIVT-O)
    OBOR OECD: Pure mathematics; Pure mathematics (UIVT-O)
    https://lc2019.cz/
    Permanent Link: http://hdl.handle.net/11104/0306989
     
  2. 2.
    0488110 - MÚ 2018 RIV eng U - Conference, Workshop Arrangement
    Thapen, Neil - Pudlák, Pavel
    Prague Bounded Arithmetic Workshop 2017.
    [Prague, 02.11.2017-03.11.2017, (W-WRD 30/19)]
    EU Projects: European Commission(XE) 339691 - FEALORA
    Institutional support: RVO:67985840
    Keywords : logic * bounded arithmetic * computational complexity
    Subject RIV: BA - General Mathematics
    OBOR OECD: Pure mathematics
    https://calendar.math.cas.cz/content/prague-bounded-arithmetic-workshop-2017
    Permanent Link: http://hdl.handle.net/11104/0282728