Shorter paths to graph algorithms

  • We illustrate the use of formal languages and relations in compact formal derivations of some graph algorithms.

Download full text files

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Bernhard MöllerGND, Martin Russling
URN:urn:nbn:de:bvb:384-opus4-206452
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/20645
Parent Title (English):Science of Computer Programming
Publisher:Elsevier
Type:Article
Language:English
Year of first Publication:1994
Publishing Institution:Universität Augsburg
Release Date:2017/07/21
Volume:22
Issue:1-2
First Page:157
Last Page:180
DOI:https://doi.org/10.1016/0167-6423(94)90011-6
Institutes:Fakultät für Angewandte Informatik
Fakultät für Angewandte Informatik / Institut für Informatik
Fakultät für Angewandte Informatik / Institut für Informatik / Professur für Programmiermethodik und Multimediale Informationssysteme
Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Licence (German):CC-BY-NC-ND 4.0: Creative Commons: Namensnennung - Nicht kommerziell - Keine Bearbeitung (mit Print on Demand)