Size-estimation framework with applications to transitive closure and reachability
type: Item
instance of: scholarly article
title: Size-estimation framework with applications to transitive closure and reachability
zbMATH Open document ID: 0897.68075
author: Edith Cohen
published in: Journal of Computer and System Sciences
publication date: 1998-08-04T00:00:00Z
Mathematics Subject Classification ID: 68R10
zbMATH DE Number: 1140555
zbMATH Keywords: transitive closure in directed graphs
MaRDI profile type: Publication
full work available at URL: jcss.1997.1534
OpenAlex ID: W1965996575
cites work: Parallel Depth-First Search in General Directed Graphs
cites work: Q4188569
cites work: Q3794956
cites work: A Measure of Asymptotic Efficiency for Tests of a Hypothesis Based on the sum of Observations
cites work: On optimizing multiplications of sparse matrices
cites work: Matrix multiplication via arithmetic progressions
cites work: Q3619797
cites work: Q5538132
cites work: Q5624436
cites work: Towards overcoming the transitive-closure bottleneck: Efficient parallel algorithms for planar digraphs
cites work: Q3029980
cites work: Q5585020
cites work: High-Probability Parallel Transitive-Closure Algorithms
DOI: 10.1006/JCSS.1997.1534
Recommended article: Verified Over-Approximation of the Diameter of Propositionally Factored Transition Systems
Recommended article: Reachability logic: an efficient fragment of transitive closure logic
Recommended article: Size-Change Termination and Transition Invariants
Recommended article: On the power of deterministic transitive closures
Recommended article: An Intuitionistic Analysis of Size-change Termination
Recommended article: Computing transitive closure on systolic arrays of fixed size
Recommended article: Bounds on the automata size for Presburger arithmetic
Recommended article: Inductive termination proofs with transition invariants and their relationship to the size-change abstraction
Recommended article: Abstract derivation of transitive closure algorithms
Recommended article: Size-Change Termination and Satisfiability for Linear-Time Temporal Logics
description: scientific article; zbMATH DE number 1140555