Basket

    1.
    0174483 - MU-W 970128 RIV US eng J - Journal Article
    Krajíček, Jan
    Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic.
    Journal of Symbolic Logic. Roč. 62, č. 2 (1997), s. 457-486. ISSN 0022-4812. E-ISSN 1943-5886
    R&D Projects: GA AV ČR IAA1019602
    Impact factor: 0.413, year: 1997
    Permanent Link: http://hdl.handle.net/11104/0071489
     
    FileDownloadSizeCommentaryVersionAccess
    Krajicek.pdf1495.1 KBPublisher’s postprintrequire
     
    2.
    0197924 - UJC-A 20000503 RIV CZ cze C - Conference Paper (international conference)
    Kloferová, Stanislava
    Nářečí v kontaktu.
    [Dialect in Contact.]
    Čeština - univerzália a specifika 2. Brno: Masarykova univerzita, 2000 - (Hladká, Z.; Karlík, P.), s. 47-52. ISBN 80-210-2262-0.
    [Čeština - univerzália a specifika. Šlapanice (CZ), 17.11.1999-19.11.1999]
    R&D Projects: GA ČR GA405/98/0746
    Subject RIV: AI - Linguistics
    Permanent Link: http://hdl.handle.net/11104/0093553
     

Metadata are licenced under CC0

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.

Accept allSettingsReject all