Title |
Algebraic calculation of graph and sorting algorithms / Bernhard Möller. [Universität Augsburg, Institut für Mathematik] |
|---|---|
Involved |
Bernhard Möller (Verfasser) |
Published |
Augsburg: Inst. für Mathematik |
Extent |
20 S. |
Topic |
|
Series |
Preprint / Institut für Mathematik, Universität Augsburg ; Nr. 286 |
Other editions |
Erscheint auch als Online-Ausgabe: Algebraic calculation of graph and sorting algorithms |
Further information |
Aus: Proceedings of the International Conference on Formal Methods in Programming and their Applications, Novosibirsk. 1993 |
Record ID |
941287629 |
Please note
The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link: