Bericht (66)
101.
Bericht
Approximate and exact deterministic parallel selection. Max-Planck-Institut für Informatik, Saarbrücken (1993), 10 S.
102.
Bericht
The complexity of parallel prefix problems on small domains. Max-Planck-Institut für Informatik, Saarbrücken (1993), 17 S.
103.
Bericht
The logic of preference and decision supporting systems. Max-Planck-Institut für Informatik, Saarbrücken (1993), 71 S.
104.
Bericht
On kernels, defaults and even graphs. Max-Planck-Institut für Informatik, Saarbrücken (1993), 11 S.
105.
Bericht
Graph theoretical structures in logic programs and default theories. Max-Planck-Institut für Informatik, Saarbrücken (1993), 28 S.
106.
Bericht
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
Quantifier elimination in p-adic fields. Max-Planck-Institut für Informatik, Saarbrücken (1993), 21 S.
108.
Bericht
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
Classical vs non-classical logics: the universality of classical logic. Max-Planck-Institut für Informatik, Saarbrücken (1993), 101 S.
110.
Bericht
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
Randomized Data Structures for the Dynamic Closest-Pair Problem. Max-Planck-Institut für Informatik, Saarbrücken (1993), 32 S.
112.
Bericht
Extended path-indexing. Max-Planck-Institut für Informatik, Saarbrücken (1993)
113.
Bericht
On multi-party communication complexity of random functions. Max-Planck-Institut für Informatik, Saarbrücken (1993), 10 S.
114.
Bericht
Harmonic analysis, real approximation, and the communication complexity of Boolean functions. Max-Planck-Institut für Informatik, Saarbrücken (1993), 15 S.
115.
Bericht
MOD m gates do not help on the ground floor. Max-Planck-Institut für Informatik, Saarbrücken (1993), 13 S.
116.
Bericht
Multi-party protocols and spectral norms. Max-Planck-Institut für Informatik, Saarbrücken (1993), 11 S.
117.
Bericht
Efficient algorithms for generalized intersection searching on non-iso-oriented objects. Max-Planck-Institut für Informatik, Saarbrücken (1993), 32 S.
118.
Bericht
On Intersection Searching Problems Involving Curved Objects. Max-Planck-Institut für Informatik, Saarbrücken (1993), 43 S.
119.
Bericht
Optimal parallel string algorithms: sorting, merching and computing the minimum. Max-Planck-Institut für Informatik, Saarbrücken (1993), 25 S.
120.
Bericht
Generalized topological sorting in linear time. Max-Planck-Institut für Informatik, Saarbrücken (1993), 10 S.