Bericht (66)

101.
Bericht
Chaudhuri, S.; Hagerup, T.; Raman, R.: Approximate and exact deterministic parallel selection. Max-Planck-Institut für Informatik, Saarbrücken (1993), 10 S.
102.
Bericht
Chaudhuri, S.; Radhakrishnan, J.: The complexity of parallel prefix problems on small domains. Max-Planck-Institut für Informatik, Saarbrücken (1993), 17 S.
103.
Bericht
Cvetković, D.: The logic of preference and decision supporting systems. Max-Planck-Institut für Informatik, Saarbrücken (1993), 71 S.
104.
Bericht
Dimopoulos, Y.; Magirou, V.; Papadimitriou, C.: On kernels, defaults and even graphs. Max-Planck-Institut für Informatik, Saarbrücken (1993), 11 S.
105.
Bericht
Dimopoulos, Y.; Torres, A.: Graph theoretical structures in logic programs and default theories. Max-Planck-Institut für Informatik, Saarbrücken (1993), 28 S.
106.
Bericht
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.
107.
Bericht
Dubhashi, D. P.: Quantifier elimination in p-adic fields. Max-Planck-Institut für Informatik, Saarbrücken (1993), 21 S.
108.
Bericht
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.
109.
Bericht
Gabbay, D. M.: Classical vs non-classical logics: the universality of classical logic. Max-Planck-Institut für Informatik, Saarbrücken (1993), 101 S.
110.
Bericht
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.
111.
Bericht
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.
112.
Bericht
Graf, P.; Kirsch, C. M.: Extended path-indexing. Max-Planck-Institut für Informatik, Saarbrücken (1993)
113.
Bericht
Grolmusz, V.: On multi-party communication complexity of random functions. Max-Planck-Institut für Informatik, Saarbrücken (1993), 10 S.
114.
Bericht
Grolmusz, V.: Harmonic analysis, real approximation, and the communication complexity of Boolean functions. Max-Planck-Institut für Informatik, Saarbrücken (1993), 15 S.
115.
Bericht
Grolmusz, V.: MOD m gates do not help on the ground floor. Max-Planck-Institut für Informatik, Saarbrücken (1993), 13 S.
116.
Bericht
Grolmusz, V.: Multi-party protocols and spectral norms. Max-Planck-Institut für Informatik, Saarbrücken (1993), 11 S.
117.
Bericht
Gupta, P.; Janardan, R.; Smid, M.: Efficient algorithms for generalized intersection searching on non-iso-oriented objects. Max-Planck-Institut für Informatik, Saarbrücken (1993), 32 S.
118.
Bericht
Gupta, P.; Janardan, R.; Smid, M.: On Intersection Searching Problems Involving Curved Objects. Max-Planck-Institut für Informatik, Saarbrücken (1993), 43 S.
119.
Bericht
Hagerup, T.: Optimal parallel string algorithms: sorting, merching and computing the minimum. Max-Planck-Institut für Informatik, Saarbrücken (1993), 25 S.
120.
Bericht
Hagerup, T.; Maas, M.: Generalized topological sorting in linear time. Max-Planck-Institut für Informatik, Saarbrücken (1993), 10 S.
Zur Redakteursansicht