Fleischer, R.; Mehlhorn, K.; Rote, G.; Welzl, E.; Yap, C.-K.: On Simultaneous Inner and Outer Approximation of Shapes. In: Computational geometry (SCG-90): 6th annual symposium, S. 216 - 224. Untitled Event, Berkeley, USA, 06. Juni 1990. ACM, New York, USA (1990)

Hanus, M.: Logic Programs with Equational Type Specifications. In: Algebraic and Logic Programming, S. 70 - 85 (Hg. Kirchner, H.; Wechler, W.). Second International Conference on Algebraic and Logic Programming, Nancy, France, 01. Oktober 1990 - 03. Oktober 1990. Springer, Berlin (1990)

Hanus, M.: A Functional and Logic Language with Polymorphic Types. In: Design and Implementation of Symbolic Computation Systems, S. 215 - 224 (Hg. Miola, A.). International Symposium on Design and Implementation of Symbolic Computation Systems, Capri, Italy, 10. April 1990 - 12. April 1990. Springer, Berlin (1990)

Hanus, M.: Compiling Logic Programs with Equality. In: Programming Language Implementation and Logic Programming, S. 387 - 401 (Hg. Deransart, P.; Maluszyński, J.). Second International Workshop on Programming Language Implementation and Logic Programming, Linköping, Sweden, 20. August 1990 - 22. August 1990. Springer, Berlin (1990)

Klein, R.; Mehlhorn, K.; Meiser, S.: On the Construction of Abstract Voronoi Diagrams, II. In: Algorithms (ISA-90): 1st international symposium (SIGAL-90), S. 138 - 154. Untitled Event, Tokyo, Japan, 16. August 1990. Springer, Berlin, Germany (1990)

Mehlhorn, K.; Meiser, S.; Ó'Dúnlaing, C.: On the Construction of Abstract Voronoi Diagrams. In: Theoretical aspects of computer science (STACS-90): 7th annual symposium, S. 227 - 239. Untitled Event, Rouen, France, 22. Februar 1990. Springer, Berlin, Germany (1990)

Näher, S.; Mehlhorn, K.: LEDA: A Library of Efficient Data Types and Algorithms. In: Automata, languages and programming (ICALP-90): 17th international colloquium, S. 1 - 5. Untitled Event, Warwick University, England, 16. Juli 1990. Springer, Berlin, Germany (1990)

Näher, S.; Mehlhorn, K.: LEDA - A Library of Efficient Data Types and Algorithms. In: GI - 20. Jahrestagung I, Informatik auf dem Weg zum Anwender, S. 35 - 39. Untitled Event, Stuttgart, Germany, 08. Oktober 1990. Springer, Berlin, Germany (1990)

Slusallek, P.; Seidel, H.-P.: TRIMO A Workstation-Based Interactive System for the Generation, Manipulation, and Display of Surfaces over Arbitrary Topological Meshes. In: Proceedings of the 11th European Computer Graphics Conference and Exhibition, S. 147 - 158 (Hg. Vandoni, C. E.; Duce, D. A.). 11th European Computer Graphics Conference and Exhibition, Montreux, Switzerland, 04. September 1990 - 07. September 1990. North-Holland / Eurographics Association, Amsterdam (1990)

Weidenbach, C.; Ohlbach, H. J.: A Resolution Calculus with Dynamic Sort Structures and Partial Functions. In: Proceedings of the 9th European Conference on Artificial Intelligence, S. 688 - 693 (Hg. Carlucci Aiello, L.). 9th European Conference on Artificial Intelligence, Stockholm Sweden, 1990-01. Pitman Publishing, Inc., St. Marshfield, MA (1990)

Baumeister, H.: Über die Stabilität parameterisierter algebraischer Spezifikationen. Master, Universität Dortmund, Dortmund (1990)

Mehlhorn, K.; Näher, S.; Uhrig, C.: Hidden line elimination for isooriented rectangles. Fachbereich Informatik, Universität des Saarlandes, Saarbrücken (1990)

Cheriyan, J.; Hagerup, T.; Mehlhorn, K.: Can a maximum flow be computed in $o(nm)$ time?, (1990)