Výsledky vyhledávání

  1. 1.
    0439177 - ÚI 2017 RIV NL eng J - Článek v odborném periodiku
    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
    Grant CEP: GA ČR GBP202/12/G061
    Institucionální podpora: RVO:67985807
    Klíčová slova: substructural logic * FLew-algebra * MV-algebra * satisfiability * computational complexity
    Obor OECD: Pure mathematics
    Impakt faktor: 0.698, rok: 2016
    Trvalý link: http://hdl.handle.net/11104/0242470
    Název souboruStaženoVelikostKomentářVerzePřístup
    a0439177.pdf8496.2 KBVydavatelský postprintvyžádat
     
     
  2. 2.
    0439176 - ÚI 2015 US eng V - Výzkumná zpráva
    Haniková, Zuzana - Savický, Petr
    Term satisfiability in FLew-algebras.
    Cornell University, 2015. 24 s. arXiv.org e-Print archive, arXiv:1501.02250 [cs.LO].
    Grant CEP: GA ČR GBP202/12/G061
    Institucionální podpora: RVO:67985807
    Klíčová slova: substructural logic * FLew-algebra * MV-algebra * satisfiability * computational complexity
    Kód oboru RIV: BA - Obecná matematika
    http://arxiv.org/abs/1501.02250
    Trvalý link: http://hdl.handle.net/11104/0242467
     
     


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