Rudolf Berghammer. Column-Wise Extendible Vector Expressions and the Relational Computation of Sets of Sets. In Ralf Hinze, Janis Voigtländer, editors, Mathematics of Program Construction - 12th International Conference, MPC 2015, Königswinter, Germany, June 29 - July 1, 2015. Proceedings. Volume 9129 of Lecture Notes in Computer Science, pages 238-256, Springer, 2015. [doi]
Abstract is missing.