file.pdf (1.53 MB)

Deriving efficient graph algorithms

journal contribution

posted on 2013-03-01, 00:00 authored by John H. Reif, William Louis. Scherlis

Computer Science Department

History

Publisher Statement

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-37036-6_20

Date

2013-03-01

Usage metrics

Categories

Information and Computing Sciences not elsewhere classified

Keywords

Algorithms Graph theory Computer programs Specifications

Licence

Exports