| 1985 |
|---|
| 4 | EE | Franz Winkler,
Bruno Buchberger,
Franz Lichtenberger,
Heinrich Rolletschek:
Algorithm 628: An Algorithm for Constructing Canonical Bases of Polynomial Ideals.
ACM Trans. Math. Softw. 11(1): 66-78 (1985) |
| 1983 |
|---|
| 3 | | B. Kutzler,
Franz Lichtenberger:
Bibliography on Abstract Data Types, Sponsored by the "Österr. Fonds zur Förderung der Wissenschaftlichen Forschung"
Springer 1983 |
| 2 | | Franz Lichtenberger:
A Remark on two Strategies for Software Development: Hoare-Like Verification and Algebraic Implementation.
ADT 1983 |
| 1980 |
|---|
| 1 | | Bruno Buchberger,
Franz Lichtenberger:
Mathematik für Informatiker I: Die Methode der Mathematik
Springer 1980 |
