External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Understanding Safety Constraints Coalgebraically

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]

Authors

Grygoriy Zholtkevych

This author has not been identified. Look up 'Grygoriy Zholtkevych' in Google

Maksym Labzhaniia

This author has not been identified. Look up 'Maksym Labzhaniia' in Google
runs on