Components and acyclicity of graphs. An exercise in combining precision with concision - Backhouse, Roland; Doornbos, Henk; Glück, Roland; van der Woude, Jaap (Journal of logical and algebraic methods in programming, 2022)
Keywords: Acyclic graph; Calculational method; Point-free reasoning; Regular algebra; Relation algebra; Strongly connected component; Relation algebra; Strongly connected component; Calculational method; Regular algebra; Acyclic graph; Point-free reasoning