Components and acyclicity of graphs. An exercise in combining precision with concision

Roland Carl Backhouse, Henk Doornbos, Roland Glück, Jaap van der Woude. Components and acyclicity of graphs. An exercise in combining precision with concision. J. Log. Algebr. Meth. Program., 124:100730, 2022. [doi]

Abstract

Abstract is missing.