Košík

  1. 1.
    0501613 - ÚI 2020 RIV NL eng J - Článek v odborném periodiku
    Cintula, Petr - Diaconescu, D. - Metcalfe, G.
    Skolemization and Herbrand theorems for lattice-valued logics.
    Theoretical Computer Science. Roč. 768, 10 May (2019), s. 54-75. ISSN 0304-3975. E-ISSN 1879-2294
    Grant CEP: GA ČR GBP202/12/G061
    GRANT EU: European Commission(XE) 689176 - SYSMICS
    Institucionální podpora: RVO:67985807
    Klíčová slova: Skolemization * Herbrand theorems * Non-classical logics * Lattices
    Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    Impakt faktor: 0.747, rok: 2019
    Způsob publikování: Omezený přístup
    http://dx.doi.org/10.1016/j.tcs.2019.02.007
    Trvalý link: http://hdl.handle.net/11104/0293600
    Název souboruStaženoVelikostKomentářVerzePřístup
    a0501613.pdf16520.2 KBVydavatelský postprintvyžádat
    0501613-prep.pdf9254.4 KBhttps://www.elsevier.com/journals/theoretical-computer-science/03043975/guide-for-authorsAutorský preprintpovolen
     
     

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