Näher, S.: LEDA-Manual Version 3.0. Max-Planck-Institut für Informatik, Saarbrücken (1993), 140 S.

Ohlbach, H. J.: Translation methods for non-classical logics: an overview. Max-Planck-Institut für Informatik, Saarbrücken (1993), 25 S.

Ohlbach, H. J.; Bader, F.: A multi-dimensional terminological knowledge representation language - preliminary version. Max-Planck-Institut für Informatik, Saarbrücken (1993), 17 S.

Pietracaprina, A.; Pucci, G.; Sibeyn, J.: Constructive Deterministic PRAM Simulation on a Mesh-connected Computer. International Computer Science Institute, Berkeley (1993), 18 S.

Posegga, J.; Schwind, C.: Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Marseille, France, 1993. Max-Planck-Institut für Informatik, Saarbrücken (1993)

Rüb, C.: Lower bounds for merging on the hypercube. Max-Planck-Institut für Informatik, Saarbrücken (1993), 10 S.

Sen, S.: Tight bounds for some problems in computational geometry: the complete sub-logarithmic parallel time range. Max-Planck-Institut für Informatik, Saarbrücken (1993), 12 S.

Sibeyn, J. F.: Routing and sorting on circular arrays. Max-Planck-Institut für Informatik, Saarbrücken (1993), 20 S.

Sibeyn, J.; Kaufmann, M.: Deterministic 1-k routing on meshes with applications to worm-hole routing. Max-Planck-Institut für Informatik, Saarbrücken (1993), 13 S.

Sibeyn, J.; Kaufmann, M.; Chlebus, B. S.: Deterministic Permutation Routing on Meshes (Universität Passau, Technische Berichte, MIP-9301). Universität Passau, Passau, Germany (1993), 13 S.

Smid, M.: An O(n log n) algorithm for finding a k-point subset with minimal L∞-diameter. Max-Planck-Institut für Informatik, Saarbrücken (1993), 17 S.

Smid, M.; Datta, A.; Lenhof, H.-P.; Schwarz, C.: Static and dynamic algorithms for k-point clustering problems. Max-Planck-Institut für Informatik, Saarbrücken (1993), 20 S.

Socher-Ambrosius, R.: A refined version of general E-unification. Max-Planck-Institut für Informatik, Saarbrücken (1993), 12 S.

Socher-Ambrosius, R.: Unification of terms with exponents. Max-Planck-Institut für Informatik, Saarbrücken (1993), 21 S.

Stuber, J.: Computing stable models by program transformation. Max-Planck-Institut für Informatik, Saarbrücken (1993), 15 S.

Weidenbach, C.: Unification in sort theories and its applications. Max-Planck-Institut für Informatik, Saarbrücken (1993), 36 S.

Albers, S.: The influence of lookahead in competitive on-line algorithms. Max-Planck-Institut für Informatik, Saarbrücken (1992), 56 S.

Alt, H.; Guibas, L.; Mehlhorn, K.; Karp, R.; Widgerson, A.: A Method for Obtaining Randomized Algorithms with Small Tail Probabilities. Max-Planck-Institut für Informatik, Saarbrücken (1992), 5 S.

Barnett, R.; Basin, D. A.; Hesketh, J.: A recursion planning analysis of inductive completion. Max-Planck-Institut für Informatik, Saarbrücken (1992), 14 S.

Barth, P.: CLP(PB) - A Meta-Interpreter in CLP(R). Max-Planck-Institut für Informatik, Saarbrücken (1992), 18 S.