5 citations · 8 across the 6 of their papers we have counts for
1 paper · 1 filter
Rudolf Berghammer, Hitoshi Furusawa, Walter Guttmann +1
Binary relations are one of the standard ways to encode, characterise and reason about graphs. Relation algebras provide equational axioms for a large fragment of the calculus of b…