Search results
- 1.0439177 - ÚI 2017 RIV NL eng J - Journal Article
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
R&D Projects: GA ČR GBP202/12/G061
Institutional support: RVO:67985807
Keywords : substructural logic * FLew-algebra * MV-algebra * satisfiability * computational complexity
OECD category: Pure mathematics
Impact factor: 0.698, year: 2016
Permanent Link: http://hdl.handle.net/11104/0242470File Download Size Commentary Version Access a0439177.pdf 8 496.2 KB Publisher’s postprint require - 2.0439176 - ÚI 2015 US eng V - Research Report
Haniková, Zuzana - Savický, Petr
Term satisfiability in FLew-algebras.
Cornell University, 2015. 24 s. arXiv.org e-Print archive, arXiv:1501.02250 [cs.LO].
R&D Projects: GA ČR GBP202/12/G061
Institutional support: RVO:67985807
Keywords : substructural logic * FLew-algebra * MV-algebra * satisfiability * computational complexity
Subject RIV: BA - General Mathematics
http://arxiv.org/abs/1501.02250
Permanent Link: http://hdl.handle.net/11104/0242467