Publications

[Currently Processing] [Journal Publications] [Conference Publications] [Workshop Publications] [Poster Abstracts] [Bulletin Contributions] [Theses] [Unpublished Technical Reports] [Edited Books] [Book Contributions] [Unpublished Manuscripts] [Unpublished Edited Manuscripts]

Complete bibtex file. Last update: September 23rd, 2003.

Publications are roughly classified as follows:

LP	logic programming		NMR	nonmonotonic reasoning		DT	domain theory
TOP	topology		FIX	fixed-point theory		ANN	artificial neural networks
FCA	formal concept analysis		ENC	enhancement programmes		LN	lecture notes
CON	contest problems/solutions		RCOL	collection with papers by researchers		SCOL	collection with papers by students

Please note that the download versions of the papers are sometimes not identical to the printed versions, although always good approximations of them.

Currently Processing

• Mathematical foundations of logic programming and nonmonotonic reasoning. (research monograph)
  (with A.K. Seda)
  In preparation.
• Level mapping characterizations of selector-generated models for logic programs. LP-NMR
  (with S. Schwarz)
  Technical Report WV-04-04, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 2004.
  [gzipped postscript (technical report)]
• Towards a Systematic Account of Different Semantics for Logic Programs. LP-NMR
  Submitted to a journal.
• The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence. LP-ANN
  (with S. Bader and S. Hölldobler)
  In: Proceedings INFORMATION'2004, Tokyo, Japan, November/December 2004.
  To appear.
  
• Default Reasoning over Domains and Concept Hierarchies. NMR-DT-FCA
  In: Proceedings of the 27th German conference on Artificial Intelligence, KI'2004, Ulm, Germany, September 2004, Lecture Notes in Artificial Intelligence.
  (was Technical Report WV-03-14, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 2003.)
  To appear.
  [gzipped postscript (paper, with appendix: complete proofs)]
• Domain Theory and Nonmonotonic Reasoning. DT-NMR-FCA
  In: Proceedings of PCC'03, Electronic Notes in Theoretical Computer Science. (abstract)
  To appear.
  [pdf (abstract)]
• Logic Programs and Connectionist Networks. LP-ANN-TOP
  (with S. Hölldobler and A.K. Seda)
  Journal of Applied Logic, Special Issue on Neural-Symbolic Systems.
  (was Technical Report WV-03-12, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 2003.)
  To appear.
  [pdf (technical report)]
• Logic Programs, Iterated Function Systems, and Recurrent Radial Basis Function Networks. LP-ANN-TOP
  (with S. Bader)
  Journal of Applied Logic, Special Issue on Neural-Symbolic Systems.
  (was Technical Report WV-03-11, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 2003.)
  To appear.
  [gzipped postscript (technical report)]
• A uniform approach to logic programming semantics. NMR
  (with M. Wendt)
  Theory and Practice of Logic Programming.
  (was Technical Report WV-02-14, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 2002.)
  To appear.
  [abstract] [gzipped postscript (technical report)]

Journal Publications

• A generalized resolution theorem. DT
  Journal of Electrical Engineering 55 (1-2), 2004, 25-30.
  (was Technical Report WV-03-13, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 2003.)
  [ps.gz (technical report)]
• Generalized Metrics and Uniquely Determined Logic Programs. LP-TOP-DT-FIX
  (with A.K. Seda)
  Theoretical Computer Science 305 (1-3), 2003, 187-219.
  (Special Issue: Proceedings of the Dagstuhl Seminar 00231 "Topology in Computer Science: Constructivity; Asymmetry and Partiality; Digitization")
  [abstract] [gzipped postscript (paper)]
• Convergence Classes and Spaces of Partial Functions. TOP-DT
  (with A.K. Seda and R. Heinze)
  Semantic Structures in Computation 3, 2003, 75--115.
  (G.-Q. Zhang, J. Lawson, Y.M. Liu and M.K. Luo (eds), Domain Theory, Logic and Computation. Kluwer Acad. Publishers)
  [pdf (paper)]
• The Fixed-Point Theorems of Priess-Crampe and Ribenboim in Logic Programming. LP-TOP-FIX
  (with A.K. Seda)
  Fields Institute Communications 32, 2002, 219-235.
  (F-V. Kuhlmann, S. Kuhlmann and M. Marshall (Eds.), Proceedings of the International Conference and Workshop in Valuation Theory in Honour of Paulo Ribenboim, Saskatchewan, Canada, July 1999. American Mathematical Society.)
  [abstract] [gzipped postscript (paper)]
• Unique Supported-Model Classes of Logic Programs. LP-NMR
  (with A.K. Seda)
  Information 4(3). 2001, 295-302.
  [abstract] [gzipped postscript (paper)]
• A "Converse" of the Banach Contraction Mapping Theorem. TOP-FIX
  (with A.K. Seda)
  Journal of Electrical Engineering 52(10/s), 2001, 3-6.
  (Proceedings of the 3rd Slovakian Student Conference in Applied Mathematics, Bratislava, April 2001. Slovak Academy of Sciences.)
  [abstract] [gzipped postscript (paper)]
• Dislocated Topologies. TOP
  (with A.K. Seda)
  Journal of Electrical Engineering 51(12/s), 2000, 3-7.
  (Proceedings of the 2nd Slovakian Student Conference in Applied Mathematics, Bratislava, April 2000. Slovak Academy of Sciences.)
  [abstact] [gzipped postscript (paper)]
• Some Issues Concerning Fixed-Points in Computational Logic: Quasi-Metrics, Multivalued Mappings and the Knaster-Tarski Theorem. NMR-FIX-DT
  (with A.K. Seda)
  Topology Proceedings 24, Summer 1999, 223-250.
  (Proceedings of the 14th Summer Conference on Topology and its Applications: Special Session on Topology in Computer Science, New York, August 1999.)
  [abstract] [gzipped postscript (paper)]
• Topology and Iterates in Computational Logic. LP-NMR-TOP-DT
  (with A.K. Seda)
  Topology Proceedings 22, Summer 1997, 427-469.
  (Proceedings of the 12th Summer Conference on Topology and its Applications: Special Session on Topology in Computer Science, Ontario, August 1997.) [abstract] [gzipped postscript (paper)]

Conference Publications

• A cartesian closed category of approximable concept structures. DT-FCA
  (with G.-Q. Zhang)
  In: Karl-Erich Wolff, Heather D. Pfeiffer and Harry S. Delugach (Eds), Conceptual Structures at Work, Proceedings fo the 12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, Alabama, USA, July 2004. Lecture Notes in Artificial Intelligence Vol. 3127, Springer, 2004, ppp. 170-185.
  (was Technical Report WV-04-01, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 2004.)
  [pdf (paper)]
• Corollaries on the fixpoint completion: studying the stable semantics by means of the Clark completion. LP-NMR
  In: D. Seipel, M. Hanus, U. Geske, and O. Bartenstein, Proceedings of the 15th International Conference on Applications of Declarative Programming and Knowledge Management and the 18th Workshop on Logic Programming, Potsdam, Germany, March 4-6, 2004, 13-27. Technical Report 327, Bayerische Julius-Maximilians-Universität Würzburg, Institut für Informatik, March 2004.
  (was Technical Report WV-03-15, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 2003.)
  [gzipped postscript (paper)]
• Towards a Systematic Account of Different Logic Programming Semantics. LP-NMR
  In: Andreas Günter, Rudolf Kruse and Bernd Neumann, KI2003: Advances in Artificial Intelligence. Proceedings of the 26th Annual German Conference on Artificial Intelligence, KI2003, Hamburg, Germany, September 2003. Springer Lecture Notes in Artificial Intelligence Vol. 2821, 2003, pp. 355-369.
  [gzipped postscript (paper) (© Springer Verlag)]
• Continuity of Semantic Operators in Logic Programming and their Approximation by Artificial Neural Networks. TOP-LP-ANN
  (with A.K. Seda)
  In: Andreas Günter, Rudolf Kruse and Bernd Neumann, KI2003: Advances in Artificial Intelligence. Proceedings of the 26th Annual German Conference on Artificial Intelligence, KI2003, Hamburg, Germany, September 2003. Springer Lecture Notes in Artificial Intelligence Vol. 2821, 2003, pp. 105-119.
  (was Technical Report WV-01-07, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 2001.)
  [abstract] [gzipped postscript (paper) (© Springer Verlag)]
• Formal Concept Analysis and Resolution in Algebraic Domains. FCA-DT
  (with M. Wendt)
  In: Aldo de Moor and Bernhard Ganter (Eds.): Using Conceptual Structures - Contributions to ICCS 2003. Shaker Verlag, Aachen, ISBN 3-8322-1705-3, pp. 157--170.
  [abstract] [gzipped postscript]
• The Well-Founded Semantics is a Stratified Fitting Semantics. NMR
  (with M. Wendt)
  In: M. Jarke, J. Koehler and G. Lakemeyer, Proceedings of the 25th German Conference on Artificial Intelligence (KI2002), Aachen, September 2002. Lecture Notes in Artificial Intelligence 2479, Springer, 2002, 205-221
  (Preliminary version: Technical Report WV-02-07, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 2002.)
  [abstract] [gzipped postscript (technical report)]
• On the Coincidence of Semantics for Uniquely Determined Programs. LP-NMR
  (with A.K. Seda)
  In: Ted Hurley, Micheal Mac an Airchinnigh, Michel Schellekens and Anthony K. Seda (Eds.), Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, Cork, Ireland, July 2000. Electronic Notes in Theoretical Computer Science, Volume 40, 2002, Elsevier.
  [abstract] [gzipped postscript (paper)]
  
• Semantic Operators and Fixed-Point Theory in Logic Programming. LP-FIX
  (with A.K. Seda)
  In: N. Callaos et al. (eds.), Proceedings of the joint IIIS and IEEE meeting of the 5th World Multiconference on Systemics, Cybernetics and Informatics (SCI2001) and the 7th International Conference on Information Systems Analysis and Synthesis (ISAS2001), Orlando, Florida, USA, July, 2001. International Institute of Informatics and Systemics: IIIS, Vol. VII, Computer Science and Engineering Part 1, 2001, pp. 224-229.
  [abstract] [gzipped postscript (paper)]
• Classes of Logic Programs which Possess Unique Supported Models. LP-NMR
  (with A.K. Seda)
  In: L. Li, F. Ren and K. Yen (Eds.), Proceedings of the First International Conference on Information (INFORMATION'2000), Fukuoka, Japan, October, 2000. Special edition of the Journal of Information, International Information Institute, 2000, pp. 100-101 (extended abstract).
  [gzipped postscript (published extended abstract)]
• A New Fixed-point Theorem for Logic Programming Semantics. FIX-LP
  (with A.K. Seda)
  In: N. Callaos et al. (eds.) Proceedings of the joint IIIS & IEEE meeting of the 4th World Multiconference on Systemics, Cybernetics and Informatics (SCI2000) and the 6th International Conference on Information Systems Analysis and Synthesis (ISAS2000), Orlando, Florida, USA, July, 2000. International Institute of Informatics and Systemics: IIIS, Vol. VII, Computer Science and Engineering Part 1, 2000, pp. 418-423.
  [abstract] [gzipped postscript (paper)]
• Characterizations of Classes of Programs by Three-valued Operators. LP-NMR
  (with A.K. Seda)
  In: M. Gelfond, N. Leone and G. Pfeifer (Eds.), Logic Programming and Nonmonotonic Reasoning, Proceedings of the 5th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR'99), El Paso, Texas, USA, December 1999. Lecture Notes in Artificial Intelligence 1730, Springer, Berlin, 1999, pp. 357-371.
  [abstract] [gzipped postscript (paper)]

Workshop Publications

• ILP Operators for Propositional Connectionist Networks. LP-ANN
  (with M.A. Gutiérrez Naranjo)
  In: B. Fronhöfer and Steffen Hölldobler, 17. WLP: Workshop Logische Programmierung, December 2002, Dresden, Germany. Technische Berichte der Fakultät Informatik TUD-FI03-03, ISSN 1430-211X, pp. 103-108.
  [gzipped postscript (paper)]
• Characterizing logic programming semantics with level mappings. NMR
  (with M. Wendt)
  In: B. Fronhöfer and Steffen Hölldobler, 17. WLP: Workshop Logische Programmierung, December 2002, Dresden, Germany. Technische Berichte der Fakultät Informatik TUD-FI03-03, ISSN 1430-211X, pp. 60-67.
  [gzipped postscript (paper)]
• Towards Nonmonotonic Reasoning on Hierarchical Knowledge. NMR-DT
  In: B. Fronhöfer and Steffen Hölldobler, 17. WLP: Workshop Logische Programmierung, December 2002, Dresden, Germany. Technische Berichte der Fakultät Informatik TUD-FI03-03, ISSN 1430-211X, pp. 68-80.
  (Technical Report WV-02-09, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 2002.)
  [gzipped postscript (technical report)]
• VDM meets LCF: Domain-Theoretic and Topological Aspects of VDM. TOP-DT
  (with A.K. Seda)
  In: A. Butterfield and G. Strong and C. Pahl, Proceedings of the Fifth Irish Workshop on Formal Methods (IWFM'01), Dublin, July 2001. Electronic Workshops in Compting (eWiC), British Computer Society.
  [abstract]
• A Note on the Relationships between Logic Programs and Neural Networks. LP-TOP-ANN
  (with A.K. Seda)
  In: P. Gibson and D. Sinclair (Eds.), Proceedings of the Fourth Irish Workshop on Formal Methods (IWFM'00), Maynooth, July 2000. Electronic Workshops in Computing (eWiC), British Computer Society
  [abstract] [gzipped postscript (paper)]
• Acceptable Programs Revisited. LP-TOP
  (with A.K. Seda)
  In: Sandro Etalle and Jan-Georg Smaus (Eds.), Proceedings of the Workshop on Verification in Logic Programming, 16th International Conference on Logic Programming (ICLP'99), Las Cruces, New Mexico, November 1999, Electronic Notes in Theoretical Computer Science, Volume 30, No 1, Elsevier.
  [abstract] [postcript (paper)]
• Multivalued Mappings, Fixed-Point Theorems and Disjunctive Databases. FIX-NMR
  (with A.K. Seda)
  In: A. Butterfield and S. Flynn (Eds.), Proceedings of the Third Irish Workshop on Formal Methods (IWFM'99), Electronic Workshops in Computing, British Computer Society, 1999, pp. 1-18.
  [abstract] [gzipped postscript (paper)]
• Strictly Level-Decreasing Logic Programs. LP-TOP
  (with A.K. Seda)
  In: A. Butterfield and S. Flynn (Eds.), Proceedings of the Second Irish Workshop on Formal Methods (IWFM'98), Cork, 1998, Electronic Workshops in Computing, British Computer Society, 1999, pp. 1-18.
  [abstract] [gzipped postscript (paper)]

Posters

• A Resolution Theorem for Algebraic Domains. DT
  In G. Gottlob and T. Walsh (eds.), Proceedings of the 18th International Joint Conference on Artificial Intelligence, IJCAI-03, Acapulco, Mexico, August 2003, pp. 1339-1340.
  
• A Characterization of Acceptability. LP
  (with A.K. Seda)
  Abstract of Regular Poster at ICLP'99, Las Cruces, New Mexico, December 1999.
  In: D. De Schreye (Ed.), Proceedings of the 1999 International Conference on Logic Programming (ICLP'99, Las Cruces, New Mexico), MIT Press, Cambridge, 1999, p. 609.
  [postscript (published abstract)]

Bulletin Contributions

• Generalized Metrics and Topology in Logic Programming Semantics.
  Abstract of PhD thesis.
  Bulletin of  the European Association of Theoretical Computer Science 75 (October 2001), 283-285.
  
• Generalized Ultrametrics, Domains and an Application to Computational Logic. DT-LP
  (with A.K. Seda)
  Irish Mathematical Society Bulletin 41 (1998), 31-43.
  [gzipped postscript (paper)]

Theses

• Generalized Metrics and Topology in Logic Programming Semantics.
  PhD thesis, Department of Mathematics, National University of Ireland, University College Cork, 2001.
  [more info and download]
• Topology and Logic Programming Semantics.
  Diplomarbeit in Mathematik, Universität Tübingen, 1998, 62 pages.
  [more info]
  

Unpublished Technical Reports

Papers which appeared in similar form in journals or conferences etc. are not mentioned.

• Formal Concept Analysis and Resolution on Algebraic Domains - Preliminary Report. FCA-DT
  (with M. Wendt)
  Technical Report WV-03-01, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 2003.
  [abstract] [gzipped postscript (technical report)]
• Circular Belief in Logic Programming Semantics. NMR
  Technical Report WV-02-13, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 2002.
  [abstract] [gzipped postscript (technical report)]
• Contexts, Concepts, and Logic of Domains. FCA-DT
  Technical Report WV-02-12, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 2002.
  [abstract] [gzipped postscript (paper)]
• Resolution and Logic Programming in Algebraic Domains: Negation and Defaults. DT-NMR
  Technical Report WV-02-05, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 2002.
  [abstract] [gzipped postscript (paper)]
• Dislocated Topologies. TOP-LP
  (with A.K. Seda)
  Technical Report, Department of Mathematics, University College Cork, 2000.
  [abstract] [gzipped postscript (paper)]
• A Topological View of Acceptability. TOP-LP
  (with A.K. Seda)
  Technical Report, Department of Mathematics, University College Cork, 2000.
  [abstract]
• A Topological Characterization of Acceptability.TOP-LP
  (with A.K. Seda)
  Technical Report, Department of Mathematics, University College Cork, 1999.
  [abstract]
• Simplifying Termination Proofs for Pure Prolog Programs. TOP-LP
  (with A.K. Seda)
  Technical Report, Department of Mathematics, University College Cork, 1999.
  [abstract]
• Sur les programmes logiques localement stratifiés. TOP-NMR
  (with A.K. Seda)
  Technical Report, Department of Mathematics, University College Cork, 1997.
  [résumé] [gzipped postscript (paper)]
  

Edited Books

• Begabtenförderung im MINT-Bereich 9: Dedicated to Sylvia Pulmannova on the occasion of her 65. birthday. ENC-RCOL
  (with G. Kalmbach and Z. Riecanova) (eds.)
  Aegis-Verlag, Ulm, 2004, ISBN 3-87005-064-0.
  
• Begabtenförderung im MINT-Bereich 5: Aus der Mathematik und ihrer Didaktik. ENC-RCOL
  (with G. Kalmbach) (eds.)
  Aegis-Verlag, Ulm, 2000, ISBN 3-87005-053-5, 236 pages.
• Begabtenförderung im MINT-Bereich 4: Schwerpunkt: Geschlechterstudien - allgemein und für Mathematik. ENC-RCOL
  (with O. Lange) (eds.)
  Aegis-Verlag, Ulm, 2000, ISBN 3-87005-053-5, 159 pages.
  
• Begabtenförderung im MINT-Bereich 3: Dedicated to Zdenka Riecanova on her 65th birthday. ENC-RCOL
  (with G. Kalmbach) (eds.)
  Aegis-Verlag, Ulm, 2000, ISBN 3-87005-053-5, 233 pages.

Book Contributions

• Kontraktionssätze auf verallgemeinerten metrischen Räumen. ENC-LN
  (Vorlesungsskripte Intensivkurs Mathematik 1999 und 2000)
  In: A. Dvurecenskij und G. Kalmbach H.E. (Hrsg), Begabtenförderung im MINT-Bereich 6, Aegis-Verlag, Ulm, 2001, pp. 79-88.
  [gzipped postscript]
• BCU Contest 2001 Problems and Solutions. ENC-CON
  (with F. Holland, G. Kalmbach)
  In: A. Dvurecenskij und G. Kalmbach H.E. (Hrsg), Begabtenförderung im MINT-Bereich 6, Aegis-Verlag, Ulm, 2001, pp. 3-16.
• Tag der Mathematik Aufgaben 1996-2000. ENC-CON
  (mit F. Holland, G. Kalmbach, F.J. Klingen)
  In: P. Hitzler und G. Kalmbach (Hrsg), Begabtenförderung im MINT-Bereich 5: Aus der Mathematik und ihrer Didaktik. Aegis-Verlag, Ulm, 2000, pp. 35-78.
• Der Banachsche Fixpunktsatz und der Satz von Picard-Lindelöf. ENC-LN
  (with F. Lutscher)
  In: P. Hitzler und G. Kalmbach (Hrsg.), Begabtenförderung im MINT-Bereich 3, Aegis-Verlag, Ulm, 2000, pp. 31-44.
  (Vorlesung auf dem Begabtenförderungs-Workshop 1998, Universität Tübingen)
  [gzipped postscript]
• Fixpunktsemantik. ENC-FIX
  In: M. Grimm und G. Kalmbach (Hrsg.), Begabtenförderung im MINT-Bereich 1, Aegis-Verlag, Ulm, 1997, pp. 57-61.
  (Vortrag auf der Emmy-Noether-Tagung Ulm 1997)
  [gzipped postscript]
• Der Kontraktionssatz auf metrischen Räumen. ENC-LN
  In: M. Grimm und G. Kalmbach (Hrsg), Begabtenförderung im MINT-Bereich 1, Aegis-Verlag, Ulm, 1997, pp. 63-81.
  (Vorlesung auf dem Intensivkurs Mathematik Konstanz-Ulm 1996)
  [gzipped postscript]
• Strong and Weak Topologies. TOP
  In: G. Kalmbach, Quantum Measures and Spaces, Kluwer Acad. Publ., Dordrecht, 1998, pp. 223-231.
• Spieltheorie.
  (mit A. Chocholaty)
  In: G. Kalmbach, R. Schweizer, Mathematik - bunt gemischt II, Reinhardt Becker Verlag, Velten, 1996, pp. 91-100.
  [gzipped postscript]

Unpublished Manuscripts

• Approximating first-order logic programs by feedforward networks. LP-ANN-TOP
  Lecture script (16 hrs), substitute lecturing for part of the lecture by Prof. Steffen H\"olldobler on Computational Logic and Connectionist Systems, International Master Program in Computational Logic, Dresden University of Technology, Germany. June/July 2004. [gzipped postscript (unpublished manuscript)]
• BCU Contest 2000 Problems and Solutions. ENC-CON
  (with F. Holland and G. Kalmbach)
  [gzipped postscript (problems)] [gzipped postscript (solutions)]
• Der Kontraktionssatz auf metrischen Räumen und Verallgemeinerungen. ENC-LN
  (Lecture at the Intensivkurs Mathematik Konstanz-Ulm 1999 and 2000.)
  [gzipped postscript (script draft)]
• BCU Contest 1999 Problems and Solutions. ENC-CON
  (with F. Holland and G. Kalmbach)
  [postscript (problems)] [postscript (solutions)]
• Fixpunktsemantik logischer Programme. LP
  Lecture script (4 hrs), substitute lecturing for part of the lecture by Dr. Tom Cornell on Einführung in Prolog, Department of Computational Linguistics, Tübingen University, July 1997.
  Also reused for part of a lecture at the Intensivkurs Mathematik Konstanz-Ulm 1997.
  [gzipped postscript (script draft)]

Unpublished Edited Manuscripts

• Intensivkurs Mathematik Konstanz-Ulm 2000. ENC-SCOL
  (with G. Kalmbach) (Eds.)
  Universität Ulm, 2000, 50 pages.
  [gzipped postscript]
• Intensivkurs Mathematik Konstanz-Ulm 1999. ENC-SCOL
  (with F. Houdek, G. Kalmbach und K. Schmithüsen) (Eds.)
  Universität Ulm, 1999, 150 pages.
  [zipped postscript]
• Intensivkurs Mathematik Konstanz-Ulm 1998. ENC-SCOL
  (with F. Houdek, G. Kalmbach und G. Schmithüsen) (Eds.)
  Universität Ulm, 1998, 158 pages.
  [gzipped postscript]
• Intensivkurs Mathematik Konstanz-Ulm 1997. ENC-SCOL
  (with F. Houdek, G. Kalmbach und G. Schmithüsen) (Eds.)
  Universität Ulm, 1997, 190 pages.
  [gzipped postscript]
• Intensivkurs Mathematik Konstanz-Ulm 1996. ENC-SCOL
  (with F. Houdek, G. Kalmbach und K. Schmithüsen) (Eds.)
  Universität Ulm, 1996, 208 pages.

---

Back to my home page.