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
Hide details for Part of a BookPart of a Book
Hillenbrand, Thomas
Piskac, Ruzica
Waldmann, Uwe
Weidenbach, Christoph
2013From Search to Computation: Redundancy Criteria and Simplification at Work
In: Programming Logics, Essays in Memory of Harald Ganzinger, ?
Hillenbrand, Thomas
Weidenbach, Christoph
2013Superposition for Bounded Domains
In: Automated Reasoning and Mathematics, Essays in Memory of William W. McCune, 68-100
Iturrioz, Luisa
Sofronie-Stokkermans, Viorica
2000SHn-algebras (Symmetric Heyting algebras of order n)
In: COST Action 15 (Many-Valued Logics for Computer Science Applications) ATLAS of Many-Valued Structures, 1-11
Kapur, Deepak
Zhang, Zhihai
Horbach, Matthias
Zhao, Hantao
Lu, Qi
Nguyen, ThanhVu
2014Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants
In: Automated Reasoning and Mathematics: Essays in Memory of William McCune, 189-228
Nonnengart, Andreas
Weidenbach, Christoph
2001Computing small clause normal forms
In: Handbook of Automated Reasoning, 335-367
Sofronie-Stokkermans, Viorica2013On combinations of local theory extensions
In: Programming Logics, Essays in Memory of Harald Ganzinger, 392-413
Sofronie-Stokkermans, Viorica2007Algebraic and logical methods in computer science: some aspects
In: Grigore C. Moisil and his followers, 488-493
Sofronie-Stokkermans, Viorica2003Attachment IconRepresentation Theorems and the Semantics of Non-classical Logics, and Applications to Automated Theorem Proving
In: Beyond Two: Theory and Applications of Multiple Valued Logic, 59-100
Sofronie-Stokkermans, Viorica2000Some properties of Kleene algebras
In: COST Action 15 (Many-Valued Logics for Computer Science Applications) ATLAS of Many-Valued Structures, 1-7
Weidenbach, Christoph2001Combining Superposition, Sorts and Splitting
In: Handbook of Automated Reasoning, 1965-2013
Weidenbach, Christoph1998Rechnen in sortierter Prädikatenlogik
In: Ausgezeichnete Informatikdissertationen 1997, 183-197
Weidenbach, Christoph1998Sorted Unification and Tree Automata
In: Automated Deduction - A Basis for Applications, 291-320
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
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)