Relational and algebraic methods in computer science 20th international conference, RAMiCS 2023, Augsburg, Germany, April 3–6, 2023, proceedings - Glück, Roland 1972-; Santocanale, Luigi; Winter, Michael (Springer, 2023)