Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template

Publications Master Template

Entries sorted by: 3. Type of Publication - 2. Only Thesis - 1. By Names

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/EditorMonthYearTitle
39
Hide details for Master's thesisMaster's thesis
Althaus, ErnstDec1998Completed IconBerechnung optimaler Steinerbäume in der Ebene
Universität des Saarlandes
Autexier, Serge1996Completed IconHeuristiken zum Beweisen von Gleichungen
Universität des Saarlandes
Ayari, AbdelwahebJun1995Completed IconAttachment IconA Reinterpretation of the Deductive Tableaux System in Higher-Order Logic
Universität des Saarlandes
Bach, Alexander1996Completed IconAttachment IconStatic analysis of functional programs via Linear Logic
Universität des Saarlandes
Baumeister, HubertJul1990Completed IconAttachment IconÜber die Stabilität parameterisierter algebraischer Spezifikationen
Universität Dortmund
Becker, JoachimMay1994Completed IconAttachment IconEffiziente Subsumption in Deduktionssystemen
Universität des Saarlandes
Bozkurt, Ahmet1995Completed IconStrategien für Resolutionsbeweiser in Logik höherer Stufe
Universität des Saarlandes
Brahm, UweNov2013Completed IconMöglichkeiten des Groupware-Einsatzes im Umfeld des Wissenschaftlerarbeitsplatzes am Beispiel des Max-Planck-Instituts für Informatik
Universität des Saarlandes
Brinker, ChristofJan2000Completed IconGeometrisches Schließen mit SPASS
Universität des Saarlandes
Christen, Michael1997Completed IconAttachment IconA Calculus of Simplification for Superposition
Universität des Saarlandes
Dimitrova, RaynaJun2006Completed IconModel Checking with Abstraction Refinement for Well-Structured Systems
Universität des Saarlandes
Engel, Thorsten1996Completed IconAttachment IconQuantifier Elimination in Second-Order Predicate Logic
Universität des Saarlandes
Fischmann, Matthias1999Completed IconOn Applications of Decidable Object-Oriented Type Theory
Universität des Saarlandes
Friedrich, StefanApr1998Completed IconIntegration of a Decision Procedure for Second-Order Monadic Logic in a Higher-Order Logic Theorem Proving Environment
Universität des Saarlandes
Gaede, BerndJul1995Completed IconAttachment IconSuperposition Extended with Sorts
Universität Kaiserslautern
Gerber, ChristianSep1995Completed IconEntwicklung eines Algorithmus zur effizienten Anfragebeantwortung für eine terminologische Wissensrepräsentationssprache
Universität des Saarlandes
Graf, Peter1992Completed IconUnification Using Dynamic Sorts
Universität des Saarlandes
Grenner, Ingo2001Completed IconDie Erzeugung von Schnittebenen mit maximalem Verletzungsgrad und deren Einsatz im Branch-and-Cut Verfahren
Universität des Saarlandes
Jacobs, SwenOct2004Completed IconAttachment IconInstance Generation Methods for Automated Reasoning
Universität des Saarlandes
Jung, GeorgMay2001Completed IconAttachment IconEin Frontend für die Anwendung von Model Checking auf die Analyse von Array Bounds für C Programme
Universität des Saarlandes
Klotzki, Pia1995Completed IconWiedemann-Algorithmus zur Lösung dünnbesetzter Gleichungssysteme über Fp
Universität des Saarlandes
Leven, Peter1998Completed IconIntegrating Clausal Decision Procedures in a Tactic Based Theorem Prover
Universität des Saarlandes
Meyer, ChristophFeb1996Completed IconAttachment IconParallel Unit Resulting Resolution
Universität des Saarlandes
Mohr, Erik1995Completed IconResolution-Based Calculi for Modal Logics
Universität des Saarlandes
Naumann, Stefan1997Completed IconIntegration des automatischen Beweisers SPASS in die mathematische Assistenzumgebung OMEGA
Universität des Saarlandes
Piskac, RuzicaFeb2005Completed IconFormal Correctness of Result Checking for Priority Queues
Universität des Saarlandes
Rau, Rainer1997Completed IconAdaption of a Fuzzy Controller for a Cybernetic System through an Evolutionary Algorithm
Universität des Saarlandes
Reinold, Michael1991Completed IconTransformation in dichten Wäldern
Universität des Saarlandes
Rock, GeorgJul1995Completed IconAttachment IconTransformations of First-Order Formulae for Automated Reasoning
Universität des Saarlandes
Rybalchenko, AndreySep2002Completed IconAttachment IconA Model Checker based on Abstraction Refinement
Universität des Saarlandes
Schäf, MartinApr2006Completed IconAttachment IconAbstrakte Übergangsrelationen als Mittel zur Verifikation von Programmeigenschaften
Universität des Saarlandes
Schlobach, Stefan1996Completed IconUntersuchung nicht-monotoner Logiken - Fallstudie zur Automatisierung
Universität des Saarlandes
Schmolzi, ChristianMar1999Completed IconKooperative koevolutionäre Entwicklung von Fuzzy-Reglern
Universität des Saarlandes
Smaus, Jan-GeorgMar1996Completed IconFinding Resolution K-Transformations
Universität des Saarlandes
Stuber, Jürgen1991Completed IconAttachment IconInductive Theorem Proving for Horn Clauses
Universität Dortmund
Suchanek, Fabian M.2005Completed IconOntological Reasoning for Natural Language Understanding
Universität des Saarlandes
Timm, Jan-GeorgOct1997Completed IconAttachment IconTesting the Satisfiability of RPO Constraints
Universität des Saarlandes
Veit, JörgOct1999Completed IconFormal Fairness Proofs for Optimistic Contract Signing Protocols
Universität des Saarlandes
Wies, ThomasSep2004Completed IconAttachment IconSymbolic Shape Analysis
Universität des Saarlandes
26
Hide details for Doctoral dissertationDoctoral dissertation
Backes, WernerJan2005Completed IconProgrammanalyse des XRTL Zwischencodes
Universität des Saarlandes
Barth, PeterFeb1995Completed IconLogic-based 0-1 Constraint Solving in Constraint Logic Programming
Fachbereich Informatik, Universität des Saarlandes, Germany
Baumeister, HubertNov1999Completed IconAttachment IconRelations between Abstract Datatypes modeled as Abstract Datatypes
Universität des Saarlandes
Eisenbrand, FriedrichJul2000Completed IconGomory-Chvátal Cutting planes and the Elementary Closure of Polyhedra
Universität des Saarlandes
Fehrer, Detlef1995Completed IconA unifying logical framework for reason maintenance
Universität des Saarlandes
Gamkrelidze, AlexanderDec2001Completed IconAttachment IconEinige Optimierungsmethoden hierarchischer Schaltkreise
Universität des Saarlandes
Graf, Peter1995Completed IconTerm Indexing
Universität des Saarlandes
Hopf, JörnJun2001Completed IconPhotomaskenlayout für eine 3D-Grauton-Lithographie als kombinatorisches Optimierungsproblem
Universität des Saarlandes
Hustadt, UllrichMar1999Completed IconResolution-Based Decision Procedures for Subclasses of First-Order Logic
Universität des Saarlandes
Jaeger, ManfredNov1995Completed IconDefault Reasoning about Probabilities
Universität des Saarlandes
Kasper, ThomasDec1998Completed IconA Unifying Logical Framework for Integer Linear Programming and Finite Domain Constraint Programming
Universität des Saarlandes
Kazakov, YevgenyMar2006Completed IconAttachment IconSaturation-Based Decision Procedures For Extensions Of The Guarded Fragment
Universität des Saarlandes
Korovin, KonstantinNov2003Completed IconKnuth-Bendix orders in automated deduction and term rewriting
University of Manchester
Maier, PatrickJul2003Completed IconAttachment IconA Lattice-Theoretic Framework For Circular Assume-Guarantee Reasoning
Universität des Saarlandes
Meyer, Christoph1999Completed IconSoft Typing for Clausal Inference Systems
Universität des Saarlandes
Mukhopadhyay, SupratikMay2001Completed IconAttachment IconA Uniform Constraint-based Framework for the Verification of Infinite State Systems
Universität des Saarlandes
Nonnengart, AndreasDec1995Completed IconA Resolution-Based Calculus for Temporal Logics
Universität des Saarlandes
Ohlbach, Hans Jürgen1988Completed IconA Resolution Calculus for Modal Logics
Universität Kaiserslautern
Schmidt, Renate A.Nov1997Completed IconOptimised Modal Translation and Resolution
Universität des Saarlandes
Struth, Georg1998Completed IconCanonical Transformation in Algebra, Universal Algebra and Logic
Universität des Saarlandes
Stuber, JürgenDec1999Completed IconAttachment IconSuperposition Theorem Proving for Commutative Algebraic Theories
Universität des Saarlandes
Tzakova, Miroslava1999Completed IconHybrid Languages
Universität des Saarlandes
Viganò, Luca1997Completed IconA Framework for Non-Classical Logics
Universität des Saarlandes
Waldmann, UweJul1997Completed IconCancellative Abelian Monoids in Refutational Theorem Proving
Universität des Saarlandes
Weidenbach, Christoph1996Completed IconComputational Aspects of a First-Order Logic with Sorts
Universität des Saarlandes
Zeyer, Jörg1997Completed IconEine Beobachtungs-Logik für modulare Sprachen
Universität des Saarlandes
9
Hide details for Habilitation thesisHabilitation thesis
Basin, David A.Jun1995Completed IconThema der Antrittsvorlesung: MONA - Ein Werkzeug zur Systemverifikation und -entwicklung
Universität des Saarlandes
Bockmayr, AlexanderJun1996Completed IconGleichheit und Constraints in der Logikprogrammierung
Universität des Saarlandes
Charatonik, Witold2002Completed IconDirektionale Typen in der Logischen Programmierung
Universität des Saarlandes
Hanus, MichaelMay1994Completed IconThema der Antrittsvorlesung: Deklarative Programmierparadigmen und ihre Integration
Universität des Saarlandes
Jaeger, ManfredDec2002Completed IconProbabilistic Decision Graphs
Universität des Saarlandes
Ohlbach, Hans JürgenDec1993Completed IconThema der Antrittsvorlesung: Transformation logischer Systeme
Universität des Saarlandes
Podelski, AndreasSep1998Completed IconThema der Antrittsvorlesung: Alte Resultate aus der Automatentheorie
Universität des Saarlandes
Sofronie-Stokkermans, VioricaNov2004Completed IconAlgebraic and logical methods in automated theorem proving and in the study of concurrency
Universität des Saarlandes
Weidenbach, ChristophJun2000Completed IconEntscheidbarkeitsprobleme für monadische (Horn)Klauselklassen
Universität des Saarlandes, Naturwissenschaftlich-Technische Fakultät
1
Hide details for Diploma thesisDiploma thesis
Hagemann, Willem2005Stop sign IconFormalisierung der Arithmetik
Universität Göttingen
75

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