Logic, Algebra and Truth Degrees 2012. Book of Abstracts
Bibliografická citace
HORČÍK, Rostislav. Quasiequational Theory of Square-increasing Residuated Lattices is Undecidable. In: TERUI, K., PREINING, N., eds. Logic, Algebra and Truth Degrees 2012. Book of Abstracts. JAIST, 2012, S. 2-2.
