TY  - JOUR
A1  - Möller, Bernhard
A1  - Russling, Martin
T1  - Shorter paths to graph algorithms
T2  - Science of Computer Programming
N2  - We illustrate the use of formal languages and relations in compact formal derivations of some graph algorithms.
Y1  - 1994
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/20645
UR  - https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-206452
VL  - 22
IS  - 1-2
SP  - 157
EP  - 180
PB  - Elsevier
ER  -