Bockmayr, A.; Krischer, S.; Werner, A.: Narrowing strategies for arbitrary canonical rewrite systems. Max-Planck-Institut für Informatik, Saarbrücken (1993), 29 S.

Bockmayr, A.; Radermacher, F. J.: Künstliche Intelligenz und Operations Research. Max-Planck-Institut für Informatik, Saarbrücken (1993), 36 S.

Borchert, B.; Ranjan, D.: The circuit subfunction relations are $sum^P_2$-complete. Max-Planck-Institut für Informatik, Saarbrücken (1993), 14 S.

Brink, C.; Gabbay, D. M.; Ohlbach, H. J.: Towards automating duality. Max-Planck-Institut für Informatik, Saarbrücken (1993), 50 S.

Charatonik, W.; Pacholski, L.: Negative set constraints: an easy proof of decidability. Max-Planck-Institut für Informatik, Saarbrücken (1993), 11 S.

Chaudhuri, S.: A lower bound for linear approximate compaction. Max-Planck-Institut für Informatik, Saarbrücken (1993), 12 S.

Chaudhuri, S.: Sensitive functions and approximate problems. Max-Planck-Institut für Informatik, Saarbrücken (1993), 8 S.

Chaudhuri, S.; Hagerup, T.; Raman, R.: Approximate and exact deterministic parallel selection. Max-Planck-Institut für Informatik, Saarbrücken (1993), 10 S.

Chaudhuri, S.; Radhakrishnan, J.: The complexity of parallel prefix problems on small domains. Max-Planck-Institut für Informatik, Saarbrücken (1993), 17 S.

Cvetković, D.: The logic of preference and decision supporting systems. Max-Planck-Institut für Informatik, Saarbrücken (1993), 71 S.

Dimopoulos, Y.; Magirou, V.; Papadimitriou, C.: On kernels, defaults and even graphs. Max-Planck-Institut für Informatik, Saarbrücken (1993), 11 S.

Dimopoulos, Y.; Torres, A.: Graph theoretical structures in logic programs and default theories. Max-Planck-Institut für Informatik, Saarbrücken (1993), 28 S.

Dobrindt, K.; Mehlhorn, K.; Yvinec, M.: A Complete and Efficient Algorithm for the Intersection of a General and a Convex Polyhedron. Max-Planck-Institut für Informatik, Saarbrücken (1993), 14 S.

Dubhashi, D. P.: Quantifier elimination in p-adic fields. Max-Planck-Institut für Informatik, Saarbrücken (1993), 21 S.

Dubhashi, D. P.; Mehlhorn, K.; Ranjan, D.; Thiel, C.: Searching, sorting and randomised algorithms for central elements and ideal counting in posets. Max-Planck-Institut für Informatik, Saarbrücken (1993), 8 S.

Gabbay, D. M.: Classical vs non-classical logics: the universality of classical logic. Max-Planck-Institut für Informatik, Saarbrücken (1993), 101 S.

Ganzinger, H.; Bachmair, L.; Waldmann, U.: Superposition with simplification as a decision procedure for the monadic class with equality. Max-Planck-Institut für Informatik, Saarbrücken (1993), 14 S.

Golin, M. J.; Raman, R.; Schwarz, C.; Smid, M.: Randomized Data Structures for the Dynamic Closest-Pair Problem. Max-Planck-Institut für Informatik, Saarbrücken (1993), 32 S.

Graf, P.; Kirsch, C. M.: Extended path-indexing. Max-Planck-Institut für Informatik, Saarbrücken (1993)

Grolmusz, V.: On multi-party communication complexity of random functions. Max-Planck-Institut für Informatik, Saarbrücken (1993), 10 S.