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

MPI-INF RG1 Publications

MPI-INF RG1 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
2
Show details for BookBook
12
Show details for Part of a BookPart of a Book
7
Show details for ProceedingsProceedings
2
Show details for Electronic ProceedingsElectronic Proceedings
115
Show details for Proceedings ArticleProceedings Article
13
Show details for Electronic Proceedings ArticleElectronic Proceedings Article
42
Show details for Journal ArticleJournal Article
8
Show details for Electronic Journal ArticleElectronic Journal Article
17
Show details for ReportReport
4
Show details for Thesis - Bachelor thesisThesis - Bachelor thesis
15
Show details for Thesis - Master's thesisThesis - Master's thesis
9
Hide details for Thesis - Doctoral dissertationThesis - Doctoral dissertation
Hillenbrand, Thomas2008Attachment IconSuperposition and Decision Procedures -- Back and Forth
Universität des Saarlandes
Horbach, Matthias2010Superposition-based Decision Procedures for Fixed Domain and Minimal Model Semantics
Universität des Saarlandes
Ihlemann, Carsten2010Attachment IconReasoning in Combinations of Theories
Universität des Saarlandes
Jacobs, Swen2010Hierarchic Decision Procedures for Verification
Universität des Saarlandes
Kruglov, Evgeny2013Attachment IconSuperposition Modulo Theory
Universität des Saarlandes
Lu, Tianxiang2013Attachment IconFormal Verification of the Pastry Protocol
Universität des Saarlandes
Waldmann, Uwe1997Cancellative Abelian Monoids in Refutational Theorem Proving
Universität des Saarlandes
Weidenbach, Christoph1996Computational Aspects of a First-Order Logic with Sorts
Universität des Saarlandes
Wischnewski, Patrick2012Attachment IconEfficient Reasoning Procedures for Complex First-Order Theories
Universität des Saarlandes
2
Show details for Thesis - Habilitation thesisThesis - Habilitation thesis
3
Show details for Thesis - Diploma thesisThesis - Diploma thesis
1
Show details for Unpublished/DraftUnpublished/Draft
1
Show details for MiscellaneousMiscellaneous
253

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