Jan Baca. Decomposition and Isomorphism of Logical Systems. 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 344-351, CEUR-WS.org, 2012. [doi]
Abstract is missing.