Grygoriy Zholtkevych, Maksym Labzhaniia. Understanding Safety Constraints Coalgebraically. In Vasyl Lytvyn, Victoria Vysotska, Thierry Hamon, Natalia Grabar, Natalia Sharonova, Olga Cherednichenko, Olga Kanishcheva, editors, Proceedings of the 4th International Conference on Computational Linguistics and Intelligent Systems (COLINS 2020). Volume I: Main Conference, Lviv, Ukraine, April 23-24, 2020. Volume 2604 of CEUR Workshop Proceedings, pages 1-19, CEUR-WS.org, 2020. [doi]
@inproceedings{ZholtkevychL20,
title = {Understanding Safety Constraints Coalgebraically},
author = {Grygoriy Zholtkevych and Maksym Labzhaniia},
year = {2020},
url = {http://ceur-ws.org/Vol-2604/paper1.pdf},
researchr = {https://researchr.org/publication/ZholtkevychL20},
cites = {0},
citedby = {0},
pages = {1-19},
booktitle = {Proceedings of the 4th International Conference on Computational Linguistics and Intelligent Systems (COLINS 2020). Volume I: Main Conference, Lviv, Ukraine, April 23-24, 2020},
editor = {Vasyl Lytvyn and Victoria Vysotska and Thierry Hamon and Natalia Grabar and Natalia Sharonova and Olga Cherednichenko and Olga Kanishcheva},
volume = {2604},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}