Mykola S. Nikitchenko, Valentyn G. Tymofieiev. Satisfiability Problem in Composition-Nominative Logics of Quantifier-Equational Level. In Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych, Mikhail Zavileysky, Vitaliy Kobets, editors, Proceedings of the 8th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, Kherson, Ukraine, June 6-10, 2012. Volume 848 of CEUR Workshop Proceedings, pages 56-70, CEUR-WS.org, 2012. [doi]
Abstract is missing.