Search alternatives:
shortcut » shortcuts
shortest » shorter
shortests » shorters, hortests, shortess, shortlists
Cover Image
Read Now

1
Published 2005
Springer Berlin Heidelberg
Table of Contents: “...: Dijkstra’s Shortest Path Algorithm Verified with ACL2 -- Proof Pearl: Defining Functions over Finite Sets...”