Bericht (717)

11801.
Bericht
Hustadt, U.: A complete transformation system for polymorphic higher-order unification. Max-Planck-Institut für Informatik, Saarbrücken (1991), 22 S.
11802.
Bericht
Lenhof, H.-P.; Smid, M.: An optimal construction method for generalized convex layers. Max-Planck-Institut für Informatik, Saarbrücken (1991), 25 S.
11803.
Bericht
Mehlhorn, K.; Sharir, M.; Welzl, E.: Tail estimates for the space complexity of randomized incremantal algorithms. Max-Planck-Institut für Informatik, Saarbrücken (1991), 8 S.
11804.
Bericht
Michaylov, S.; Pfenning, F.: Natural semantics and some of its meta-theory in Elf. Max-Planck-Institut für Informatik, Saarbrücken (1991), 26 S.
11805.
Bericht
Paterson, M. S.; Schröder, H.; Sýkora, O.; Vrto, I.: Optimal embedding of a toroidal mesh in a path. Max-Planck-Institut für Informatik, Saarbrücken (1991), 6 S.
11806.
Bericht
Schmidt, R. A.: Algebraic terminological representation. Max-Planck-Institut für Informatik, Saarbrücken (1991), 113 S.
11807.
Bericht
Schwarz, C.; Smid, M.: An optimal algorithm for the on-line closest-pair problem. Max-Planck-Institut für Informatik, Saarbrücken (1991), 11 S.
11808.
Bericht
Schwarz, C.; Smid, M.: An O(n log n log log n) algorithm for the on-line closes pair problem. Max-Planck-Institut für Informatik, Saarbrücken (1991), 21 S.
11809.
Bericht
Smid, M.: Maintaining the minimal distance of a point set in polylogarithmic time (revised version). Max-Planck-Institut für Informatik, Saarbrücken (1991), 17 S.
11810.
Bericht
Smid, M.: Range trees with slack parameter. Max-Planck-Institut für Informatik, Saarbrücken (1991), 11 S.
11811.
Bericht
Smid, M.: Dynamic rectangular point location, with an application to the closest pair problem. Max-Planck-Institut für Informatik, Saarbrücken (1991), 28 S.
11812.
Bericht
Sýkora, O.; Vrto, I.: Edge separators for graphs of bounded genus with applications. Max-Planck-Institut für Informatik, Saarbrücken (1991), 10 S.
11813.
Bericht
Sýkora, O.; Vrto, I.: On crossing numbers of hypercubes and cube connected cycles. Max-Planck-Institut für Informatik, Saarbrücken (1991), 6 S.
11814.
Bericht
Weidenbach, C.: A sorted logic using dynamic sorts. Max-Planck-Institut für Informatik, Saarbrücken (1991), 71 S.
11815.
Bericht
Mehlhorn, K.; Näher, S.; Uhrig, C.: Hidden line elimination for isooriented rectangles. Fachbereich Informatik, Universität des Saarlandes, Saarbrücken (1990)
11816.
Bericht
Kaufmann, M.; Mehlhorn, K.: Routing Problems in Grid Graphs (Report, 89). Institut für Ökonometrie und Operations Research, Bonn (1989)
11817.
Bericht
Kaufmann, M.; Mehlhorn, K.: Routing Problems in Grid Graphs (SFB Report, 89/05). Teubner, Bonn, Germany (1989)
11818.
Bericht
Klein, R.; Mehlhorn, K.; Meiser, S.: On the Construction of Abstract Voronoi Diagrams, II. Universtität des Saarlandes / Fachbereich Informatik, Saarbrücken (1989)
11819.
Bericht
Mehlhorn, K.; Meiser, S.; Ó'Dúnlaing, C.: On the construction of abstract Voronoi diagrams. Fachbereich Informatik, Universität des Saarlandes, Saarbrücken (1989)
11820.
Bericht
Mehlhorn, K.; Tsakalidis, A. K.: Data structures. Fachbereich Informatik, Universität des Saarlandes, Saarbrücken (1989)
Zur Redakteursansicht