Michael Lvov. Computations in Extensions of Multisorted Algebras. In Vadim Ermolayev, Frédéric Mallet, Vitaliy Yakovyna, Vyacheslav Kharchenko, Vitaliy Kobets, Artur Kornilowicz, Hennadiy Kravtsov, Mykola S. Nikitchenko, Serhiy Semerikov, Aleksander Spivakovsky, editors, Proceedings of the 15th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume II: Workshops, Kherson, Ukraine, June 12-15, 2019. Volume 2393 of CEUR Workshop Proceedings, pages 497-512, CEUR-WS.org, 2019. [doi]
Abstract is missing.