Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak. Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями (First-order composition-nominative logics with generalized renominations). In Ivan Sergienko, Philip Andon, editors, Proceedings of the 9th International Conference of Programming, Kyiv, Ukraine, May 20-22, 2014. Volume 1843 of CEUR Workshop Proceedings, pages 17-28, CEUR-WS.org, 2014. [doi]
Abstract is missing.