Thesis - Master (597)
10201.
Thesis - Master
Static analysis of functional programs via Linear Logic. Master, Universität des Saarlandes, Saarbrücken (1996)
10202.
Thesis - Master
Allgemeine approximative Kongruenz zweier Punktmengen im R³. Master, Universität des Saarlandes, Saarbrücken (1996)
10203.
Thesis - 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)
10204.
Thesis - Master
Eine parallelisierbare Heuristik für das Min-Cost-Flow Problem. Master, Universität des Saarlandes, Saarbrücken (1996)
10205.
Thesis - Master
An Implementation of a Convex Hull Algorithm Version 2.0. Master, Universität des Saarlandes, Saarbrücken (1996)
10206.
Thesis - Master
Quantifier Elimination in Second-Order Predicate Logic. Master, Universität des Saarlandes, Saarbrücken (1996)
10207.
Thesis - Master
Heuristiken für das euklidische Travelling Salesman Problem. Master, Universitat des Saarlandes, Saarbrücken (1996)
10208.
Thesis - Master
Die hierarchische Darstellung konvexer Polyeder und einige Anwendungen. Master, Universität des Saarlandes, Saarbrücken (1996)
10209.
Thesis - Master
Approximative Bewegungsplanung für einen rechteckigen Roboter mit Hilfe von Voronoidiagrammen. Master, Universität des Saarlandes, Saarbrücken (1996)
10210.
Thesis - Master
Ein Bewegungsplanungsalgorithmus für zwei Rechtecke mit einem gemeinsamen Eckpunkt. Master, Universität des Saarlandes, Saarbrücken (1996)
10211.
Thesis - Master
Parallel Unit Resulting Resolution. Master, Universität des Saarlandes, Saarbrücken (1996)
10212.
Thesis - Master
Bewegung eines Polygons zwischen polygonalen Hindernisse. Master, Universität des Saarlandes, Saarbrücken (1996)
10213.
Thesis - Master
Untersuchung nicht-monotoner Logiken - Fallstudie zur Automatisierung. Master, Universität des Saarlandes, Saarbrücken (1996)
10214.
Thesis - Master
Finding Resolution K-Transformations. Master, Universität des Saarlandes, Saarbrücken (1996)
10215.
Thesis - Master
Entwicklung und Implementierung eines Entscheidungsalgorithmus zur Zuordnung von Probleminstanzen an Hierarchieebenen. Master, Universität des Saarlandes, Saarbrücken (1996)
10216.
Thesis - Master
Strategien für Resolutionsbeweiser in Logik höherer Stufe. Master, Universität des Saarlandes, Saarbrücken (1995)
10217.
Thesis - Master
Superposition Extended with Sorts. Master, Universität Kaiserslautern, Saarbrücken (1995)
10218.
Thesis - Master
Verdrahtung von Kanälen mit Seitenanschlüssen. Master, Universität des Saarlandes, Saarbrücken (1994)
10219.
Thesis - Master
Fast Parallel Space Allocation, Estimation and Integer Sorting. Master, Universität des Saarlandes, Saarbrücken (1994)
10220.
Thesis - Master
Effiziente Subsumption in Deduktionssystemen. Master, Universität des Saarlandes, Saarbrücken (1994)