LEDA: A Library of Efficient Data Types and Algorithms
Authors:
Stefan Näher;Kurt Mehlhorn
Affiliations:
-;-
Venue:
ICALP '90 Proceedings of the 17th International Colloquium on Automata, Languages and Programming
Year:
1990
Citing
0
Cited
1
Survey: Certifying algorithms
Computer Science Review
Quantified Score
Hi-index
0.00
Visualization
Abstract