MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 5. Year - 8. Counting Publications

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
#YAuthor/EditorTitle
1
Show details for 20132013
2
Show details for 20092009
16
Show details for 20072007
43
Show details for 20062006
41
Show details for 20052005
37
Show details for 20042004
36
Hide details for 20032003
1
Show details for BookBook
2
Show details for Part of a BookPart of a Book
21
Show details for Proceedings ArticleProceedings Article
1
Show details for Electronic Proceedings ArticleElectronic Proceedings Article
7
Hide details for Journal ArticleJournal Article
Avenhaus, Jürgen
Hillenbrand, Thomas
Löchner, Bernd		Attachment IconOn Using Ground Joinable Equations in Equational Theorem Proving
In: Journal of Symbolic Computation [36], 217-233
Charatonik, Witold
Dal Zilio, Silvano
Gordon, Andrew Donald
Mukhopadhyay, Supratik
Talbot, Jean-Marc		Model checking mobile ambients
In: Theoretical Computer Science [308], 277-331
de Nivelle, Hans
de Rijke, Maarten		Deciding the Guarded Fragments by Resolution
In: Journal of Symbolic Computation [35], 21-58
Hoffmann, JörgThe Metric-FF Planning System: Translating ``Ignoring Delete Lists'' To Numeric State Variables
In: Journal of Artificial Intelligence Research [20], 51
Korovin, Konstantin
Voronkov, Andrei		Orienting rewrite rules with the Knuth-Bendix order
In: Information and Computation [183], 165-186
Podelski, Andreas
Ball, Tom
Rajamani, Sriram K.		Boolean and Cartesian Abstraction for Model Checking C Programs
In: International Journal on Software Tools for Technology Transfer (STTT) [5], 1-15
Sofronie-Stokkermans, VioricaAttachment IconResolution-based decision procedures for the universal theory of some classes of distributive lattices with operators
In: Journal of Symbolic Computation [36], 891-924
1
Show details for ReportReport
2
Show details for Thesis - PhD thesisThesis - PhD thesis
1
Show details for Unpublished/DraftUnpublished/Draft
39
Show details for 20022002
58
Show details for 20012001
48
Show details for 20002000
61
Show details for 19991999
73
Show details for 19981998
42
Show details for 19971997
64
Show details for 19961996
55
Show details for 19951995

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