Košík

    1.
    0161122 - SLCHPL-S 930012 RIV CZ cze J - Článek v odborném periodiku
    Černý, V. - Frumarová, Božena - Rosa, Jan - Frumar, M.
    Lokální symetrie a vzájemné interakce 3d.SUP.5 center ve skle.
    Chemické listy. Roč. 87, č. 9 (1993), s. 56. ISSN 0009-2770. E-ISSN 1213-7103
    Impakt faktor: 0.184, rok: 1993
    Trvalý link: http://hdl.handle.net/11104/0058539
     
    2.
    0575743 - FLÚ 2024 RIV CH eng C - Conference Paper (international conference)
    Ferguson, Thomas - Punčochář, Vít
    Structural Completeness and Superintuitionistic Inquisitive Logics.
    Logic, Language, Information, and Computation. Cham: Springer, 2023 - (Hansen, H.; Scedrov, A.; de Queiroz, R.), s. 194-210. Lecture Notes in Computer Science, 13923. ISBN 978-3-031-39783-7.
    [WoLLIC 2023: Workshop on Logic, Language, Information and Computation /29./. Halifax (CA), 11.07.2023-14.07.2023]
    R&D Projects: GA ČR(CZ) GM21-23610M
    Institutional support: RVO:67985955
    Keywords : structural completeness * inquisitive logic * superintuitionistic logics * substitution
    OECD category: Philosophy, History and Philosophy of science and technology
    Result website:
    https://doi.org/10.1007/978-3-031-39784-4_12DOI: https://doi.org/10.1007/978-3-031-39784-4_12
    Permanent Link: https://hdl.handle.net/11104/0346056
     
     

Metadata v repozitáři ASEP jsou licencována pod licencí CC0.

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.

Přijmout všeNastaveníOdmítnout vše