Extension of Tuple Calculus to Multisets

Iryna Lysenko, Olha Moroz. Extension of Tuple Calculus to Multisets. In Igor Sinitsyn, Philip Andon, editors, Proceedings of the 14th International Scientific and Practical Programming Conference (UkrPROG 2024), Kyiv, Ukraine, May 14-15, 2024. Volume 3806 of CEUR Workshop Proceedings, pages 5-15, CEUR-WS.org, 2024. [doi]

Authors

Iryna Lysenko

This author has not been identified. Look up 'Iryna Lysenko' in Google

Olha Moroz

This author has not been identified. Look up 'Olha Moroz' in Google