Hochschulschrift - Doktorarbeit (436)
9541.
Hochschulschrift - Doktorarbeit
A Unifying Logical Framework for Integer Linear Programming and Finite Domain Constraint Programming. Dissertation, Universität des Saarlandes, Saarbrücken (1998)
9542.
Hochschulschrift - Doktorarbeit
Design of Efficient and Correct Algorithms: Theoretical Results and Runtime Prediction of Implementations in Practice. Dissertation, Universität des Saarlandes, Saarbrücken (1997)
9543.
Hochschulschrift - Doktorarbeit
Optimised Modal Translation and Resolution. Dissertation, Universität des Saarlandes, Saarbrücken (1997)
9544.
Hochschulschrift - Doktorarbeit
A Framework for Non-Classical Logics. Dissertation, Universität des Saarlandes, Saarbrücken (1997)
9545.
Hochschulschrift - Doktorarbeit
Cancellative Abelian Monoids in Refutational Theorem Proving. Dissertation, Universität des Saarlandes, Saarbrücken (1997)
9546.
Hochschulschrift - Doktorarbeit
Eine Beobachtungs-Logik für modulare Sprachen. Dissertation, Universität des Saarlandes, Saarbrücken (1997)
9547.
Hochschulschrift - Doktorarbeit
Exact Computation of Voronoi Diagrams and Line Segment Intersections. Dissertation, Universität des Saarlandes, Saarbrücken (1996)
9548.
Hochschulschrift - Doktorarbeit
A unifying logical framework for reason maintenance. Dissertation, Universität des Saarlandes, Saarbrücken (1996)
9549.
Hochschulschrift - Doktorarbeit
Effiziente Algorithmen für Probleme der Kollisionserkennung und der geometrischen Optimierung. Dissertation, Universität des Saarlandes, Saarbrücken (1996)
9550.
Hochschulschrift - Doktorarbeit
Computational Aspects of a First-Order Logic with Sorts. Dissertation, Universität des Saarlandes, Saarbrücken (1996)
9551.
Hochschulschrift - Doktorarbeit
Logic-based 0-1 Constraint Solving in Constraint Logic Programming. Dissertation, iv, 187 S., Universität des Saarlandes, Saarbrücken (1995)
9552.
Hochschulschrift - Doktorarbeit
Term Indexing. Dissertation, xx, 238 S., Universität des Saarlandes, Saarbrücken (1995)
9553.
Hochschulschrift - Doktorarbeit
Default Reasoning about Probabilities. Dissertation, x, 166 S., Universität des Saarlandes, Saarbrücken (1995)
9554.
Hochschulschrift - Doktorarbeit
A Resolution-Based Calculus for Temporal Logics. Dissertation, Universität des Saarlandes, Saarbrücken (1995)
9555.
Hochschulschrift - Doktorarbeit
Ein NP-schweres Plazierungsproblem. Dissertation, 207 S., Universität des Saarlandes, Saarbrücken (1995)
9556.
Hochschulschrift - Doktorarbeit
A Resolution Calculus for Modal Logics. Dissertation, Universität Kaiserslautern, Kaiserslautern (1988)
9557.
Hochschulschrift - Doktorarbeit
Polynomial and abstract subrecursive classes. Dissertation, Cornell University, New York, NY (1974)
Hochschulschrift - Habilitation (21)
9558.
Hochschulschrift - Habilitation
Computational Optical Measurement and Display: Case Studies in Plenoptic Imaging and Projection. Habilitation, Université de Bordeaux, Bordeaux (2012)
9559.
Hochschulschrift - Habilitation
Computational Methods for the Investigation of Protein-Ligand Interactions. Habilitation, Universität des Saarlandes, Saarbrücken (2009)
9560.
Hochschulschrift - Habilitation
Zeichnen von Diagrammen - Theorie und Praxis. Habilitation, Universität des Saarlandes, Saarbrücken (2009)