Research output per year
Research output per year
-
Logic 2 (Lecture Notes)
Rolletschek, H., Jun 2007, University of Linz, Altenbergerstraße 69, 4040 Linz, Austria: RISC, 150 p. (RISC Report Series; no. 07-04).Research output: Working paper and reports › Preprint
-
Formal Specification and Verification (Lecture Notes)
Rolletschek, H., 1998, (RISC Report Series; no. 98-02a).Research output: Working paper and reports › Preprint
-
cW10-Creative Sets and Noncappable r.e. T-degrees
Rolletschek, H., 1997, (RISC Report Series; no. 97-01).Research output: Working paper and reports › Preprint
-
Algorithm 628: An algorithm for constructing canonical bases of polynomial ideals
Winkler, F., Rolletschek, H., Lichtenberger, F. & Buchberger, B., 01 Mar 1985, In: ACM Transactions on Mathematical Software. 11, 1, p. 66-78 13 p.Research output: Contribution to journal › Article › peer-review
Open Access