Socher-Ambrosius, R.: A goal oriented strategy based on completion. Max-Planck-Institut für Informatik, Saarbrücken (1992), 14 S.

Sogomonjan, E. S.; Goessel, M.: Self-testing and self-checking combinational circuits with weakly independent outputs. Max-Planck-Institut für Informatik, Saarbrücken (1992), 18 S.

Szalas, A.: On correspondence between modal and classical logic: automated approach. Max-Planck-Institut für Informatik, Saarbrücken (1992), 17 S.

Szalas, A.: On natural deduction in fixpoint logics. Max-Planck-Institut für Informatik, Saarbrücken (1992), 18 S.

Wertz, U.: First-order theorem proving modulo equations. Max-Planck-Institut für Informatik, Saarbrücken (1992), 108 S.

Zelikovsky, A.: A faster 11/6-approximation algorithm for the Steiner tree problem in graphs. Max-Planck-Institut für Informatik, Saarbrücken (1992), 8 S.

Zelikovsky, A.: Minimum base of weighted k polymatroid and Steiner tree problem. Max-Planck-Institut für Informatik, Saarbrücken (1992), 9 S.

Bachmair, L.: Associative-commutative reduction orderings. Max-Planck-Institut für Informatik, Saarbrücken (1991), 7 S.

Bachmair, L.; Ganzinger, H.: Rewrite-based equational theorem proving with selection and simplification. Max-Planck-Institut für Informatik, Saarbrücken (1991), 24 S.

Bockmayr, A.: Logic programming with pseudo-Boolean constraints. Max-Planck-Institut für Informatik, Saarbrücken (1991), 20 S.

Cheriyan, J.; Hagerup, T.; Mehlhorn, K.: An o(n³)-time maximum-flow algorithm. Max-Planck-Institut für Informatik, Saarbrücken (1991), 30 S.

Cheriyan, J.; Hagerup, T.; Mehlhorn, K.: A lower bound for the nondeterministic space complexity of contextfree recognition. Max-Planck-Institut für Informatik, Saarbrücken (1991), 4 S.

Cheriyan, J.; Mehlhorn, K.: Algorithms for dense graphs and networks. Max-Planck-Institut für Informatik, Saarbrücken (1991), 29 S.

Eisinger, N.; Ohlbach, H. J.: Deduction systems based on resolution. Max-Planck-Institut für Informatik, Saarbrücken (1991), 68 S.

Fleischer, R.: A tight lower bound for the worst case of bottom-up-heapsort. Max-Planck-Institut für Informatik, Saarbrücken (1991), 13 S.

Fleischer, R.; Mehlhorn, K.; Rote, G.; welzl, E.: Simultaneous inner and outer aproximation of shapes. Max-Planck-Institut für Informatik, Saarbrücken (1991), 24 S.

Hagerup, T.: On a compaction theorem of ragde. Max-Planck-Institut für Informatik, Saarbrücken (1991), 6 S.

Hagerup, T.: Fast parallel space allocation, estimation an integer sorting. Max-Planck-Institut für Informatik, Saarbrücken (1991), 28 S.

Heffernan, P. J.; Schirra, S.: Approximate decision algorithms for point set congruence. Max-Planck-Institut für Informatik, Saarbrücken (1991), 25 S.

Hromkovic, J.; Müller, V.; Sýkora, O.; Vrto, I.: On embeddings in cycles. Max-Planck-Institut für Informatik, Saarbrücken (1991), 22 S.