MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 3. Type of Publication - 1. All Types

Login to this database


 

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)


Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
#Author/EditorYearTitle
4
Show details for BookBook
42
Show details for Part of a BookPart of a Book
9
Show details for ProceedingsProceedings
1
Show details for Electronic ProceedingsElectronic Proceedings
429
Show details for Proceedings ArticleProceedings Article
8
Show details for Electronic Proceedings ArticleElectronic Proceedings Article
2
Show details for PosterPoster
176
Show details for Journal ArticleJournal Article
2
Show details for Electronic Journal ArticleElectronic Journal Article
19
Show details for ReportReport
39
Hide details for Thesis - Master's thesisThesis - Master's thesis
Althaus, Ernst1998Berechnung optimaler Steinerbäume in der Ebene
Universität des Saarlandes
Autexier, Serge1996Heuristiken zum Beweisen von Gleichungen
Universität des Saarlandes
Ayari, Abdelwaheb1995Attachment IconA Reinterpretation of the Deductive Tableaux System in Higher-Order Logic
Universität des Saarlandes
Bach, Alexander1996Attachment IconStatic analysis of functional programs via Linear Logic
Universität des Saarlandes
Baumeister, Hubert1990Attachment IconÜber die Stabilität parameterisierter algebraischer Spezifikationen
Universität Dortmund
Becker, Joachim1994Attachment IconEffiziente Subsumption in Deduktionssystemen
Universität des Saarlandes
Bozkurt, Ahmet1995Strategien für Resolutionsbeweiser in Logik höherer Stufe
Universität des Saarlandes
Brahm, Uwe2013Möglichkeiten des Groupware-Einsatzes im Umfeld des Wissenschaftlerarbeitsplatzes am Beispiel des Max-Planck-Instituts für Informatik
Universität des Saarlandes
Brinker, Christof2000Geometrisches Schließen mit SPASS
Universität des Saarlandes
Christen, Michael1997Attachment IconA Calculus of Simplification for Superposition
Universität des Saarlandes
Dimitrova, Rayna2006Model Checking with Abstraction Refinement for Well-Structured Systems
Universität des Saarlandes
Engel, Thorsten1996Attachment IconQuantifier Elimination in Second-Order Predicate Logic
Universität des Saarlandes
Fischmann, Matthias1999On Applications of Decidable Object-Oriented Type Theory
Universität des Saarlandes
Friedrich, Stefan1998Integration of a Decision Procedure for Second-Order Monadic Logic in a Higher-Order Logic Theorem Proving Environment
Universität des Saarlandes
Gaede, Bernd1995Attachment IconSuperposition Extended with Sorts
Universität Kaiserslautern
Gerber, Christian1995Entwicklung eines Algorithmus zur effizienten Anfragebeantwortung für eine terminologische Wissensrepräsentationssprache
Universität des Saarlandes
Graf, Peter1992Unification Using Dynamic Sorts
Universität des Saarlandes
Grenner, Ingo2001Die Erzeugung von Schnittebenen mit maximalem Verletzungsgrad und deren Einsatz im Branch-and-Cut Verfahren
Universität des Saarlandes
Jacobs, Swen2004Attachment IconInstance Generation Methods for Automated Reasoning
Universität des Saarlandes

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)