2 citations · 2 across the 4 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…