Počet záznamů: 1

Term Satisfiability in FLew-Algebras

SYSNO	0439177
Název	Term Satisfiability in FLew-Algebras
Tvůrce(i)	Haniková, Zuzana (UIVT-O)_{SAI, RID, ORCID} Savický, Petr (UIVT-O)_{SAI, RID, ORCID}
Korespondující/senior	Haniková, Zuzana - Korespondující autor
Zdroj.dok.	Theoretical Computer Science. Roč. 631, 6 June (2016), s. 1-15. - : Elsevier
Druh dok.	Článek v odborném periodiku
Grant	GBP202/12/G061 GA ČR - Grantová agentura ČR
Institucionální podpora	UIVT-O - RVO:67985807
Jazyk dok.	eng
Země vyd.	NL
Klíč.slova	substructural logic * FLew-algebra * MV-algebra * satisfiability * computational complexity
Trvalý link	http://hdl.handle.net/11104/0242470

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	a0439177.pdf	8	496.2 KB		Vydavatelský postprint	vyžádat

Počet záznamů: 1