Chari, S.; Hartmanis, J.: On the intellectual terrain around NP. Max-Planck-Institut für Informatik, Saarbrücken (1994), 11 pp.

Chaudhuri, S.; Hagerup, T.: Prefix graphs and their applications. Max-Planck-Institut für Informatik, Saarbrücken (1994), 13 pp.

Chew, L. P.; Kedem, K.; Schirra, S.: On characteristic points and approximate decision algorithms for the minimum Hausdorff distance. Max-Planck-Institut für Informatik, Saarbrücken (1994), 10 pp.

Devillers, O.; Golin, M. J.; Schirra, S.; Kedem, K.: Revenge of the dog: queries on Voronoi diagrams of moving points. Max-Planck-Institut für Informatik, Saarbrücken (1994), 14 pp.

Dimopoulos, Y.: Classical methods in nonmonotonic reasoning. Max-Planck-Institut für Informatik, Saarbrücken (1994), 26 pp.

Djidjev, H.; Pantziou, G. E.; Zaroliagis, C.: On-line and dynamic algorithms for shortest path problems. Max-Planck-Institut für Informatik, Saarbrücken (1994), 20 pp.

Djidjev, H.; Pantziou, G. E.; Zaroliagis, C.: On-line and Dynamic Shortest Paths through Graph Decompositions (Preliminary Version). Max-Planck-Institut für Informatik, Saarbrücken (1994), 14 pp.

Dubhashi, D. P.; Panconesi, A.: Near-optimal distributed edge coloring. Max-Planck-Institut für Informatik, Saarbrücken (1994), 12 pp.

Dubhashi, D. P.; Ranjan, D.: Stochastic majorisation: exploding some myths. Max-Planck-Institut für Informatik, Saarbrücken (1994), 5 pp.

Dubhashi, D. P.; Ranjan, D.: Some correlation inequalities for probabilistic analysis of algorithms. Max-Planck-Institut für Informatik, Saarbrücken (1994), 16 pp.

Fleischer, R.: 22. Workshop Komplexitätstheorie und effiziente Algorithmen. Max-Planck-Institut für Informatik, Saarbrücken (1994), 30 pp.

Gabbay, D. M.: LDS - Labelled Deductive Systems: Volume 1 - Foundations. Max-Planck-Institut für Informatik, Saarbrücken (1994), 465 pp.

Graf, P.: Substitution tree indexing. Max-Planck-Institut für Informatik, Saarbrücken (1994), 34 pp.

Green, I.: A general technique for automatically optimizing programs through the use of proof plans. Max-Planck-Institut für Informatik, Saarbrücken (1994), 16 pp.

Gupta, P.; Janardan, J.; Smid, M.: Fast algorithms for collision and proximity problems involving moving geometric objects. Max-Planck-Institut für Informatik, Saarbrücken (1994), 22 pp.

Gupta, P.; Janardan, R.; Smid, M.; Dasgupta, B.: The rectangle enclosure and point-dominance problems revisited. Max-Planck-Institut für Informatik, Saarbrücken (1994), 16 pp.

Hanus, M.: On extra variables in (Equational) logic programming. Max-Planck-Institut für Informatik, Saarbrücken (1994), 33 pp.

Hanus, M.: The integration of functions into logic programming: a survey. Max-Planck-Institut für Informatik, Saarbrücken (1994), 48 pp.

Genetic algorithms within the framework of evolutionary computation: Proceedings of the KI-94 Workshop. Max-Planck-Institut für Informatik, Saarbrücken (1994), 161 pp.

Jaeger, M.: A probabilistic extension of terminological logics. Max-Planck-Institut für Informatik, Saarbrücken (1994), 64 pp.