Title
Purely Functional, Simple, and Efficient Implementation of Prim and Dijkstra.
Year
Venue
Field
2019
Archive of Formal Proofs
Computer science,Theoretical computer science,Purely functional,Dijkstra's algorithm
DocType
Volume
Citations 
Journal
2019
0
PageRank 
References 
Authors
0.34
0
2
Name
Order
Citations
PageRank
Peter Lammich121225.50
Tobias Nipkow23056232.28