file.pdf (1.53 MB)

Deriving efficient graph algorithms

journal contribution

posted on 01.03.2013, 00:00 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

01/03/2013

Usage metrics

Categories

Information and Computing Sciences not elsewhere classified

Keywords

Algorithms Graph theory Computer programs Specifications

Licence

Exports