Basket

    1.
    0465843 - ÚI 2017 RIV NL eng J - Journal Article
    Moraschini, Tommaso
    The Semantic Isomorphism Theorem in Abstract Algebraic Logic.
    Annals of Pure and Applied Logic. Roč. 167, č. 12 (2016), s. 1298-1331. ISSN 0168-0072. E-ISSN 1873-2461
    R&D Projects: GA ČR GA13-14654S
    Institutional support: RVO:67985807
    Keywords : algebraizable logics * abstract algebraic logic * structural closure operators * semantic isomorphism theorem * evaluational frames * compositional lattice
    Subject RIV: BA - General Mathematics
    Impact factor: 0.647, year: 2016 ; AIS: 0.687, rok: 2016
    DOI: https://doi.org/10.1016/j.apal.2016.08.001
    Permanent Link: http://hdl.handle.net/11104/0264288
     
     
    2.
    0195739 - UH-J 940070 RIV CZ eng C - Conference Paper (international conference)
    Klimeš, František - Kořenář, Josef
    Estimation of Reynolds shear shesses and turbulent spectral energy distribution in vicinity of mechanical heart valve prosthesis in vitro.
    Proceedings of the International Conference on Medical Physics and Biomedical Engineering. vol.1. Nicosia: Cyprus Association of Medical Physics and Biomedical Engineering, 1994 - (Spyron, S.; Christofides, S.), s. 67-74. ISBN 9963-607-04-7.
    [International Conference on Medical Physics and Biomedical Engineering. Nicosia (CY), 05.05.1994-08.05.1994]
    R&D Projects: GA ČR GA101/93/0879
    Permanent Link: http://hdl.handle.net/11104/0091395
     

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