| # |  | Author/Editor | Month | Year | | | Title | |
|---|
| 39 |
 | Master's thesis |
| |
| | Althaus, Ernst | Dec | 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 | Jun | 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 | Jul | 1990 | | | Über die Stabilität parameterisierter algebraischer Spezifikationen
Universität Dortmund | |
| | Becker, Joachim | May | 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 | Nov | 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 | Jan | 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 | Jun | 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 | Apr | 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 | Jul | 1995 | | | Superposition Extended with Sorts
Universität Kaiserslautern | |
| | Gerber, Christian | Sep | 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 | Oct | 2004 | | | Instance Generation Methods for Automated Reasoning
Universität des Saarlandes | |
| | Jung, Georg | May | 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 | Feb | 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 | Feb | 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 | Jul | 1995 | | | Transformations of First-Order Formulae for Automated Reasoning
Universität des Saarlandes | |
