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
Show details for ProceedingsProceedings
1
Show details for Electronic ProceedingsElectronic Proceedings
429
Show details for Proceedings ArticleProceedings Article
8
Hide details for Electronic Proceedings ArticleElectronic Proceedings Article
Booth, Richard2000Attachment IconThe lexicographic closure as a revision process
In: Proceedings of the 8th International Workshop on Non-Monotonic Reasoning (NMR 2000), ?
de Nivelle, Hans
Baumgartner, Peter
Fuchs, Alexander
Tinelli, Cesare		2006Computing Finite Models by Reduction to Function-Free Clause Logic
In: IJCAR'06 Workshop : Disproving'06: Non-Theorems, Non-Validity, Non-Provability, 82-95
Hillenbrand, Thomas2004Attachment IconA Superposition View on Nelson-Oppen
In: Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, 16-20
Hillenbrand, Thomas2003Attachment IconCitius altius fortius: Lessons learned from the Theorem Prover WALDMEISTER
In: Proceedings of the 4th International Workshop on First Order Theorem Proving, FTP'03, 1-13
Hillenbrand, Thomas
Topic, Dalibor
Weidenbach, Christoph		2006Sudokus as Logical Puzzles
In: Proceedings of the Third Workshop on Disproving, 2-12
Jacobs, Swen
Sofronie-Stokkermans, Viorica		2006Attachment IconApplications of hierarchical reasoning in the verification of complex systems
In: PDPAR'06: Pragmatical Aspects of Decision Procedures in Automated Reasoning, 15-26
Prevosto, Virgile2006Certified mathematical hierarchies: the FoCal system.
In: Proceedings of the MAP (Mathematics, Algorithms, Proofs) Workshop,
Sofronie-Stokkermans, Viorica2006Local reasoning in verification
In: Proceedings of VERIFY'06: Verification Workshop, 128-145
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)