# | | Author/Editor | Year | | Title | |
39 |
| Thesis - Master's thesis |
| |
| | Althaus, Ernst | 1998 | | Berechnung optimaler Steinerbäume in der Ebene
Universität des Saarlandes | |
| | Autexier, Serge | 1996 | | Heuristiken zum Beweisen von Gleichungen
Universität des Saarlandes | |
| | Ayari, Abdelwaheb | 1995 | | A Reinterpretation of the Deductive Tableaux System in Higher-Order Logic
Universität des Saarlandes | |
| | Bach, Alexander | 1996 | | Static analysis of functional programs via Linear Logic
Universität des Saarlandes | |
| | Baumeister, Hubert | 1990 | | Über die Stabilität parameterisierter algebraischer Spezifikationen
Universität Dortmund | |
| | Becker, Joachim | 1994 | | Effiziente Subsumption in Deduktionssystemen
Universität des Saarlandes | |
| | Bozkurt, Ahmet | 1995 | | Strategien für Resolutionsbeweiser in Logik höherer Stufe
Universität des Saarlandes | |
| | Brahm, Uwe | 2013 | | Möglichkeiten des Groupware-Einsatzes im Umfeld des Wissenschaftlerarbeitsplatzes am Beispiel des Max-Planck-Instituts für Informatik
Universität des Saarlandes | |
| | Brinker, Christof | 2000 | | Geometrisches Schließen mit SPASS
Universität des Saarlandes | |
| | Christen, Michael | 1997 | | A Calculus of Simplification for Superposition
Universität des Saarlandes | |
| | Dimitrova, Rayna | 2006 | | Model Checking with Abstraction Refinement for Well-Structured Systems
Universität des Saarlandes | |
| | Engel, Thorsten | 1996 | | Quantifier Elimination in Second-Order Predicate Logic
Universität des Saarlandes | |
| | Fischmann, Matthias | 1999 | | On Applications of Decidable Object-Oriented Type Theory
Universität des Saarlandes | |
| | Friedrich, Stefan | 1998 | | Integration of a Decision Procedure for Second-Order Monadic Logic in a Higher-Order Logic Theorem Proving Environment
Universität des Saarlandes | |
| | Gaede, Bernd | 1995 | | Superposition Extended with Sorts
Universität Kaiserslautern | |
| | Gerber, Christian | 1995 | | Entwicklung eines Algorithmus zur effizienten Anfragebeantwortung für eine terminologische Wissensrepräsentationssprache
Universität des Saarlandes | |
| | Graf, Peter | 1992 | | Unification Using Dynamic Sorts
Universität des Saarlandes | |
| | Grenner, Ingo | 2001 | | Die Erzeugung von Schnittebenen mit maximalem Verletzungsgrad und deren Einsatz im Branch-and-Cut Verfahren
Universität des Saarlandes | |
| | Jacobs, Swen | 2004 | | Instance Generation Methods for Automated Reasoning
Universität des Saarlandes | |
| | Jung, Georg | 2001 | | Ein Frontend für die Anwendung von Model Checking auf die Analyse von Array Bounds für C Programme
Universität des Saarlandes | |
| | Klotzki, Pia | 1995 | | Wiedemann-Algorithmus zur Lösung dünnbesetzter Gleichungssysteme über Fp
Universität des Saarlandes | |
| | Leven, Peter | 1998 | | Integrating Clausal Decision Procedures in a Tactic Based Theorem Prover
Universität des Saarlandes | |
| | Meyer, Christoph | 1996 | | Parallel Unit Resulting Resolution
Universität des Saarlandes | |
| | Mohr, Erik | 1995 | | Resolution-Based Calculi for Modal Logics
Universität des Saarlandes | |
| | Naumann, Stefan | 1997 | | Integration des automatischen Beweisers SPASS in die mathematische Assistenzumgebung OMEGA
Universität des Saarlandes | |
| | Piskac, Ruzica | 2005 | | Formal Correctness of Result Checking for Priority Queues
Universität des Saarlandes | |
| | Rau, Rainer | 1997 | | Adaption of a Fuzzy Controller for a Cybernetic System through an Evolutionary Algorithm
Universität des Saarlandes | |
| | Reinold, Michael | 1991 | | Transformation in dichten Wäldern
Universität des Saarlandes | |
| | Rock, Georg | 1995 | | Transformations of First-Order Formulae for Automated Reasoning
Universität des Saarlandes | |