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
Hide details for ProceedingsProceedings
Baader, Ghilardi, Hermann, Sattler, Sofronie-Stokkermans (ed.)2008Complexity, Expressibility, and Decidability in Automated Reasoning (CEDAR'08)
Bjørner, Sofronie-Stokkermans (ed.)2011Automated Deduction - CADE-23 : 23rd International Conference on Automated Deduction
Ghilardi, Sattler, Sofronie-Stokkermans, Tiwari (ed.)2007Automated Deduction: Decidability, Complexity, Tractability (ADDCT'07)
Peltier, Sofronie-Stokkermans (ed.)2009First-Order Theorem Proving 2009
Peltier, Sofronie-Stokkermans (ed.)2009First-order Theorem Proving, FTP 2009 : International Workshop on First-Order Theorem Proving, Proceedings
Sturm, Zengler (ed.)2011Automated Deduction in Geometry : 7th International Workshop, ADG 2008
Tinelli, Sofronie-Stokkermans (ed.)2011Frontiers of Combining Systems
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
Show details for Thesis - Doctoral dissertationThesis - Doctoral dissertation
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)