Shorter paths to graph algorithms

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

Metadaten
Author:	Bernhard Möller GND, M. Russling
URN:	urn:nbn:de:bvb:384-opus4-924509
Frontdoor URL	https://opus.bibliothek.uni-augsburg.de/opus4/92450
Series (Serial Number):	Reports des Instituts für Mathematik der Universität Augsburg (272)
Publisher:	Institut für Mathematik, Universität Augsburg
Place of publication:	Augsburg
Type:	Report
Language:	English
Date of Publication (online):	2022/02/02
Year of first Publication:	1992
Publishing Institution:	Universität Augsburg
Release Date:	2022/02/03
Page Number:	22
Institutes:	Mathematisch-Naturwissenschaftlich-Technische Fakultät
	Fakultät für Angewandte Informatik
	Fakultät für Angewandte Informatik / Institut für Informatik
	Mathematisch-Naturwissenschaftlich-Technische Fakultät / Institut für Mathematik
	Fakultät für Angewandte Informatik / Institut für Informatik / Professur für Programmiermethodik und Multimediale Informationssysteme
Dewey Decimal Classification:	5 Naturwissenschaften und Mathematik / 51 Mathematik / 510 Mathematik
Licence (German):	Deutsches Urheberrecht

Open Access