×

Found 8 Documents (Results 1–8)

Column-wise extendible vector expressions and the relational computation of sets of sets. (English) Zbl 1432.68594

Hinze, Ralf (ed.) et al., Mathematics of program construction. 12th international conference, MPC 2015, Königswinter, Germany, June 29 – July 1, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9129, 238-256 (2015).
MSC:  68W30 03E20 03G15
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Software