Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings - Desharnais, Jules; Desharnais, Jules; Guttmann, Walter; Guttmann, Walter; Joosten, Stef; Joosten, Stef (Springer International Publishing : Imprint: Springer, 2018)