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
4
Show details for BookBook
42
Show details for Part of a BookPart of a Book
9
Hide details for ProceedingsProceedings
de Nivelle, Schulz (ed.)2001Proceedings of the 2nd International Workshop on the Implementation of Logics
Furbach, Ganzinger, Hasegawa, Kapur (ed.)2000Deduction
Gabbay, Ohlbach (ed.)1994Temporal Logic: Proceedings of the 1st International Conference on Temporal Logic
Ganzinger (ed.)1999Proceedings of the 16th International Conference on Automated Deduction (CADE-16)
Ganzinger (ed.)1996Rewriting Techniques and Applications, 7th International Conference, RTA-96
Ganzinger, McAllester, Voronkov (ed.)1999Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR-99)
Jensen, Podelski (ed.)2004Tools and algorithms for the construction and analysis of systems : 10th International Conference, TACAS 2004 ; held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004
Podelski (ed.)1995Constraint Programming: Basics and Trends
In: Constraint Programming: Basics and Trends, 328
Weydert, Brewka, Witteveen (ed.)1997Proceedings of the 3rd Dutch/German Workshop on Nonmonotonic Reasoning Techniques and their Applications (DGNMR-97)
1
Show details for Electronic ProceedingsElectronic Proceedings
429
Show details for Proceedings ArticleProceedings Article
8
Show details for Electronic Proceedings ArticleElectronic Proceedings Article
2
Show details for PosterPoster
176
Show details for Journal ArticleJournal Article
2
Show details for Electronic Journal ArticleElectronic Journal Article
19
Show details for ReportReport
39
Show details for Thesis - Master's thesisThesis - Master's thesis
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)