Purely Functional, Simple, and Efficient Implementation of Prim and Dijkstra - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Peter Lammich, Tobias Nipkow. Purely Functional, Simple, and Efficient Implementation of Prim and Dijkstra. Archive of Formal Proofs, 2019, 2019. [doi]

@article{LammichN19,
  title = {Purely Functional, Simple, and Efficient Implementation of Prim and Dijkstra},
  author = {Peter Lammich and Tobias Nipkow},
  year = {2019},
  url = {https://www.isa-afp.org/entries/Prim_Dijkstra_Simple.html},
  researchr = {https://researchr.org/publication/LammichN19},
  cites = {0},
  citedby = {0},
  journal = {Archive of Formal Proofs},
  volume = {2019},
}

runs on WebDSL