OpenAlex |

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

Work

Year: 2021

Type: article

Abstract: Central to algorithmic graph theory are the concepts of acyclicity and strongly connected components of a graph, and the related search algorithms. This article is about combining mathematical precisi... more

Source: Journal of Logical and Algebraic Methods in Programming

Authors Roland Backhouse, Henk Doornbos, Roland Glück, Jaap van der Woude

Institutions University of Nottingham, Eindhoven University of Technology, Deutsches Zentrum für Luft- und Raumfahrt e. V. (DLR)

Cites: 30

Cited by: 2

Related to: 10

FWCI: 0.259

Citation percentile (by year/subfield): 51.97

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

APC paid (est): $2,810