Relational characterisations of paths - Berghammer, Rudolf; Furusawa, Hitoshi; Guttmann, Walter; Höfner, Peter (Journal of logical and algebraic methods in programming, 2020)
Keywords: Cycles; Graphs; Kleene algebras; Paths; Relation algebras; Verification; Cycles; Graphs; Kleene algebras; Relation algebras; Verification; Paths