Titel |
Algebraic calculation of graph and sorting algorithms / Bernhard Möller. [Universität Augsburg, Institut für Mathematik] |
|---|---|
Beteiligt |
Bernhard Möller (Verfasser) |
Erschienen |
Augsburg: Inst. für Mathematik |
Umfang |
20 S. |
Themengebiet |
|
Reihe |
Preprint / Institut für Mathematik, Universität Augsburg ; Nr. 286 |
Andere Ausgaben |
Erscheint auch als Online-Ausgabe: Algebraic calculation of graph and sorting algorithms |
Weitere Angaben |
Aus: Proceedings of the International Conference on Formal Methods in Programming and their Applications, Novosibirsk. 1993 |
Datensatz-ID |
941287629 |
Hinweis
Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link: