Search
Now showing items 1-1 of 1
ReAlM - a system to manipulate relations
(Brock University, 2010-10-26)
Given a heterogeneous relation algebra R, it is well known that the algebra of matrices with coefficient from R is relation algebra with relational sums that is not
necessarily finite. When a ...