Basket

    1.
    0103589 - UT-L 20040095 RIV CZ eng C - Conference Paper (international conference)
    Ondrůšek, Č. - Vlach, Radek (ed.)
    Computational and experimental modeling of synchronous generator fan.
    [Výpočtové a experimentální modelování ventilátoru synchronního generátoru.]
    Engineering mechanics 2004. Praha: Ústav termomechaniky AV ČR, 2004, s. 315-316. ISBN 80-85918-88-9.
    [National conference with international participation : Engineering mechanics 2004. Svratka (CZ), 10.05.2004-13.05.2004]
    Institutional research plan: CEZ:AV0Z2076919
    Keywords : ventilation * electric machine
    Subject RIV: BJ - Thermodynamics
    Permanent Link: http://hdl.handle.net/11104/0010896
     
    2.
    0435915 - ÚI 2016 RIV US eng J - Journal Article
    Chvalovský, Karel
    Undecidability of Consequence Relation in Full Non-associative Lambek Calculus.
    Journal of Symbolic Logic. Roč. 80, č. 2 (2015), s. 567-586. ISSN 0022-4812. E-ISSN 1943-5886
    R&D Projects: GA ČR GAP202/10/1826
    Institutional support: RVO:67985807
    Keywords : substructural logics * consequence relation * undecidability * tag systems * word problem * rewriting systems
    Subject RIV: BA - General Mathematics
    Impact factor: 0.510, year: 2015 ; AIS: 0.724, rok: 2015
    DOI: https://doi.org/10.1017/jsl.2014.39
    Permanent Link: http://hdl.handle.net/11104/0239734
     
    FileDownloadSizeCommentaryVersionAccess
    a0435915.pdf5373.1 KBPublisher’s postprintrequire
    0435915.pdf21 MBAuthor´s preprintrequire
     
    3.
    0256872 US BCA
    Journal of Applied Physics.
    AIP Publishing. ISSN 0021-8979. E-ISSN 1089-7550
     

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

Accept allSettingsReject all