Basket

  1. 1.def.record 'I2_TF_SHORT' not found in 'CavUnTablesd'
    2.
    0195951 - UH-J 970066 RIV DE eng C - Conference Paper (international conference)
    Šír, Miloslav - Tesař, Miroslav - Pražák, Josef
    Estimation of seasonal potential transpiration.
    Landschaftsökologie und Umweltforschung. Braunschweig: Institut für Geographie und Geoökologie der Technischen Universität Braunschweig, 1997 - (Diekkrüger, B.; Richter, O.), s. 281-284
    [International Conference on Regionalization in Hydrology. Braunschweig (DE), 10.04.1997-14.04.1997]
    R&D Projects: GA AV ČR IAA3060701
    Permanent Link: http://hdl.handle.net/11104/0091601
     
    3.
    0439177 - ÚI 2017 RIV NL eng J - Journal Article
    Haniková, Zuzana - Savický, Petr
    Term Satisfiability in FLew-Algebras.
    Theoretical Computer Science. Roč. 631, 6 June (2016), s. 1-15. ISSN 0304-3975. E-ISSN 1879-2294
    R&D Projects: GA ČR GBP202/12/G061
    Institutional support: RVO:67985807
    Keywords : substructural logic * FLew-algebra * MV-algebra * satisfiability * computational complexity
    OECD category: Pure mathematics
    Impact factor: 0.698, year: 2016 ; AIS: 0.491, rok: 2016
    DOI: https://doi.org/10.1016/j.tcs.2016.03.009
    Permanent Link: http://hdl.handle.net/11104/0242470
     
    FileDownloadSizeCommentaryVersionAccess
    a0439177.pdf8496.2 KBPublisher’s postprintrequire
     

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