Relational and algebraic methods in computer science

Peter Höfner, Damien Pous, Georg Struth. Relational and algebraic methods in computer science. Journal of Logic and Algebraic Programming, 106:198-199, 2019. [doi]

Abstract

Abstract is missing.