Relational and Algebraic Methods in Computer Science: 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3–6, 2023, Proceedings

Roland Glück, Luigi Santocanale, Michael Winter, 3031280822, 9783031280825