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 ; AIS: 0.491, rok: 2016
DOI: https://doi.org/10.1016/j.tcs.2016.03.009
Trvalý link: http://hdl.handle.net/11104/0242470