Number of the records: 1

Term Satisfiability in FLew-Algebras

SYSNO	0439177
Title	Term Satisfiability in FLew-Algebras
Author(s)	Haniková, Zuzana (UIVT-O)_{SAI, RID, ORCID} Savický, Petr (UIVT-O)_{SAI, RID, ORCID}
Corespondence/senior	Haniková, Zuzana - Korespondující autor
Source Title	Theoretical Computer Science. Roč. 631, 6 June (2016), s. 1-15. - : Elsevier
Document Type	Článek v odborném periodiku
Grant	GBP202/12/G061 GA ČR - Czech Science Foundation (CSF)
Institutional support	UIVT-O - RVO:67985807
Language	eng
Country	NL
Keywords	substructural logic * FLew-algebra * MV-algebra * satisfiability * computational complexity
Permanent Link	http://hdl.handle.net/11104/0242470

	File	Download	Size	Commentary	Version	Access
	a0439177.pdf	8	496.2 KB		Publisher’s postprint	require

Number of the records: 1