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
Jacobs, Swen2004Attachment IconInstance Generation Methods for Automated Reasoning
Universität des Saarlandes
Jung, Georg2001Attachment IconEin Frontend für die Anwendung von Model Checking auf die Analyse von Array Bounds für C Programme
Universität des Saarlandes
Klotzki, Pia1995Wiedemann-Algorithmus zur Lösung dünnbesetzter Gleichungssysteme über Fp
Universität des Saarlandes
Leven, Peter1998Integrating Clausal Decision Procedures in a Tactic Based Theorem Prover
Universität des Saarlandes
Meyer, Christoph1996Attachment IconParallel Unit Resulting Resolution
Universität des Saarlandes
Mohr, Erik1995Resolution-Based Calculi for Modal Logics
Universität des Saarlandes
Naumann, Stefan1997Integration des automatischen Beweisers SPASS in die mathematische Assistenzumgebung OMEGA
Universität des Saarlandes
Piskac, Ruzica2005Formal Correctness of Result Checking for Priority Queues
Universität des Saarlandes
Rau, Rainer1997Adaption of a Fuzzy Controller for a Cybernetic System through an Evolutionary Algorithm
Universität des Saarlandes
Reinold, Michael1991Transformation in dichten Wäldern
Universität des Saarlandes
Rock, Georg1995Attachment IconTransformations of First-Order Formulae for Automated Reasoning
Universität des Saarlandes
Rybalchenko, Andrey2002Attachment IconA Model Checker based on Abstraction Refinement
Universität des Saarlandes
Schäf, Martin2006Attachment IconAbstrakte Übergangsrelationen als Mittel zur Verifikation von Programmeigenschaften
Universität des Saarlandes
Schlobach, Stefan1996Untersuchung nicht-monotoner Logiken - Fallstudie zur Automatisierung
Universität des Saarlandes
Schmolzi, Christian1999Kooperative koevolutionäre Entwicklung von Fuzzy-Reglern
Universität des Saarlandes
Smaus, Jan-Georg1996Finding Resolution K-Transformations
Universität des Saarlandes
Stuber, Jürgen1991Attachment IconInductive Theorem Proving for Horn Clauses
Universität Dortmund
Suchanek, Fabian M.2005Ontological Reasoning for Natural Language Understanding
Universität des Saarlandes
Timm, Jan-Georg1997Attachment IconTesting the Satisfiability of RPO Constraints
Universität des Saarlandes
Veit, Jörg1999Formal Fairness Proofs for Optimistic Contract Signing Protocols
Universität des Saarlandes
Wies, Thomas2004Attachment IconSymbolic Shape Analysis
Universität des Saarlandes
26
Show details for Thesis - Doctoral dissertationThesis - Doctoral dissertation
9
Show details for Thesis - Habilitation thesisThesis - Habilitation thesis
1
Show details for Thesis - Diploma thesisThesis - Diploma thesis
11
Show details for Unpublished/DraftUnpublished/Draft
4
Show details for MiscellaneousMiscellaneous
782

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