Relational and algebraic methods in computer science. 20th international conference, RAMiCS 2023, Augsburg, Germany, April 3--6, 2023. Proceedings
scientific article; zbMATH DE number 7689871