Journal article
Relational and algebraic methods in computer science
Authors
Höfner P; Jipsen P; Kahl W; Müller ME
Journal
Journal of Logical and Algebraic Methods in Programming, Vol. 85, No. 4, pp. 447–448
Publisher
Elsevier
Publication Date
June 2016
DOI
10.1016/j.jlamp.2016.02.003
ISSN
2352-2208