Important note:

The *.dvi/*.pdf files of the following papers contain the preprints only.
For the final versions, please consult the printed copies. 

Books

• M. Kreuzer and L. Robbiano, Computational Commutative Algebra 1, Springer, Heidelberg 2008 (2nd printing), IX + 322 S. [MR 2001j:13027; Zbl. 956.13008]

• M. Kreuzer and S. Kühling, Logik für Informatiker, Pearson Studium, München 2006, 256 S. und ca. 240 S. Companion Website
  
  
• M. Kreuzer and L. Robbiano, Computational Commutative Algebra 2, Springer, Heidelberg 2005, X + 596 S.
  
  
• M. Kreuzer, Beiträge zur Theorie der nulldimensionalen Unterschemata projektiver Räume, Habilitationsschrift 1997, Regensburger Math. Schriften 26, Universität Regensburg 1998 [MR 99h:13029; Zbl 907.14022] <dvi-file>
  
  
• M. Kreuzer, Vektorbündel und der Satz von Cayley-Bacharach, Regensburger Math. Schr. 21, Universität Regensburg 1989, iv + 120 pp.  [MR 91d:14035; Zbl 685.14012]   <dvi-file>