Heinrich Rolletschek, A.Univ.-Prof. Dr.

Publications

	Dr. Heinrich Rolletschek. Logic 2 (Lecture Notes). RISC. Technical report no. 07-04, June 2007. [bib]
	Heinrich Rolletschek. Computability Theory (Lecture Notes). Technical report no. 01-27 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. December 2001. [ps] [bib]
	Heinrich Rolletschek. Formal Specification and Verification (Lecture Notes). Technical report no. 98-02a in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. March 1998. [ps] [bib]
	Heinrich Rolletschek. \ cW10-Creative Sets and Noncappable r.e.\ T-degrees. Technical report no. 97-01 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. January 1997. [ps] [bib]
	Heinrich Rolletschek. Some New Lattice-Theoretic Constructions in High R.E. Degrees. Technical report no. 93-35 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1993. Published in Submitted for publication.. [bib]
	Heinrich Rolletschek, Josef Schicho. On the Equation $p^2+q^3=x$. Technical report no. 92-65 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1992. [bib]
	Heinrich Rolletschek. A Variant of the Notation of Semicreative Set. Technical report no. 91-54 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1991. Published in Mathematical Logic Quaterly, vol. 39, 1993, pp. 33-46.. [bib]
	Heinrich Rolletschek. Computer Algebra. Technical report no. 91-07 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1991. Published in {\"U}bersichtsartikel, Kleine Enzyklop{\"a}die Mathematik, Bibliograph. Inst. Leipzig, to appear.. [bib]
	Heinrich Rolletschek, Ehrich Kaltofen. Computing Greatest Common Divisors and Factorizations in Quadratic Number Fields. Technical report no. 90-09 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1990. Published in Mathematics of Computation, vol. 53/188, pp. 697-720.. [bib]
	Heinrich Rolletschek. Shortest Division Chains in Imaginary Quadratic Number Fields. Technical report no. 90-19 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1990. Published in Journ. of Symbolic Computation, vol.9, pp. 321-354, 1990. [bib]
	F. Winkler, B. Buchberger, F. Lichtenberger, H. Rolletschek. Algorithm 628: An Algorithm for Constructing Canonical Bases of Polynomial Ideals. ACM Transactions on Mathematical Software 11(1), pp. 66-78. March 1985. ACM, no. [pdf] [bib]
	Heinrich Rolletschek. Contributions to the Systematics of Creativity Concepts. RISC, Johannes Kepler University Linz. PhD Thesis. 1980. [bib]
	B. Buchberger, R. Neubauer, H. Rolletschek, G. Seeber. A Note on Some Variants of the Notion of Creative Set. Johannes Kepler University, Technisch-Naturwissenschaftliche Fakultaet, Insitut fuer Mathematik. Technical report no. 139, July 1979. [bib]