Hochschulschrift - Doktorarbeit (4)
141.
Hochschulschrift - Doktorarbeit
Effiziente Algorithmen für Probleme der Kollisionserkennung und der geometrischen Optimierung. Dissertation, Universität des Saarlandes, Saarbrücken (1996)
142.
Hochschulschrift - Doktorarbeit
Computational Aspects of a First-Order Logic with Sorts. Dissertation, Universität des Saarlandes, Saarbrücken (1996)
Hochschulschrift - Habilitation (1)
143.
Hochschulschrift - Habilitation
Gleichheit und Constraints in der Logikprogrammierung. Habilitation, Universität des Saarlandes, Saarbrücken (1996)
Hochschulschrift - Master (16)
144.
Hochschulschrift - Master
Heuristiken zum Beweisen von Gleichungen. Master, Universität des Saarlandes, Saarbrücken (1996)
145.
Hochschulschrift - Master
Static analysis of functional programs via Linear Logic. Master, Universität des Saarlandes, Saarbrücken (1996)
146.
Hochschulschrift - Master
Allgemeine approximative Kongruenz zweier Punktmengen im R³. Master, Universität des Saarlandes, Saarbrücken (1996)
147.
Hochschulschrift - Master
Untersuchung zur Implementierung eines parallelen Algorithmus mit guter asymptotischer Laufzeit auf einem Rechner mit verteiltem Speicher und Message-Passing. Master, Universität des Saarlandes, Saarbrücken (1996)
148.
Hochschulschrift - Master
Eine parallelisierbare Heuristik für das Min-Cost-Flow Problem. Master, Universität des Saarlandes, Saarbrücken (1996)
149.
Hochschulschrift - Master
An Implementation of a Convex Hull Algorithm Version 2.0. Master, Universität des Saarlandes, Saarbrücken (1996)
150.
Hochschulschrift - Master
Quantifier Elimination in Second-Order Predicate Logic. Master, Universität des Saarlandes, Saarbrücken (1996)
151.
Hochschulschrift - Master
Heuristiken für das euklidische Travelling Salesman Problem. Master, Universitat des Saarlandes, Saarbrücken (1996)
152.
Hochschulschrift - Master
Die hierarchische Darstellung konvexer Polyeder und einige Anwendungen. Master, Universität des Saarlandes, Saarbrücken (1996)
153.
Hochschulschrift - Master
Approximative Bewegungsplanung für einen rechteckigen Roboter mit Hilfe von Voronoidiagrammen. Master, Universität des Saarlandes, Saarbrücken (1996)
154.
Hochschulschrift - Master
Ein Bewegungsplanungsalgorithmus für zwei Rechtecke mit einem gemeinsamen Eckpunkt. Master, Universität des Saarlandes, Saarbrücken (1996)
155.
Hochschulschrift - Master
Parallel Unit Resulting Resolution. Master, Universität des Saarlandes, Saarbrücken (1996)
156.
Hochschulschrift - Master
Bewegung eines Polygons zwischen polygonalen Hindernisse. Master, Universität des Saarlandes, Saarbrücken (1996)
157.
Hochschulschrift - Master
Untersuchung nicht-monotoner Logiken - Fallstudie zur Automatisierung. Master, Universität des Saarlandes, Saarbrücken (1996)
158.
Hochschulschrift - Master
Finding Resolution K-Transformations. Master, Universität des Saarlandes, Saarbrücken (1996)
159.
Hochschulschrift - Master
Entwicklung und Implementierung eines Entscheidungsalgorithmus zur Zuordnung von Probleminstanzen an Hierarchieebenen. Master, Universität des Saarlandes, Saarbrücken (1996)
Bericht (45)
160.
Bericht
A survey of self-organizing data structures. Max-Planck-Institut für Informatik, Saarbrücken (1996), 39 S.