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
Hide details for 20052005
1
Show details for Part of a BookPart of a Book
22
Show details for Proceedings ArticleProceedings Article
1
Show details for PosterPoster
11
Hide details for Journal ArticleJournal Article
Baumgartner, Peter
Furbach, Ulrich
Yahya, Adnan		Automated Reasoning, Knowledge Representation and Management
In: KI - Künstliche Intelligenz [1], 5-11
Blanchet, Bruno
Podelski, Andreas		Verification of Cryptographic Protocols: Tagging Enforces Termination
In: Theoretical Computer Science [333], 67-90
de Nivelle, HansTranslation of Resolution Proofs into Short First-Order Proofs without Choice Axioms
In: Information and Computation [199], 24-54
de Nivelle, Hans
Demri, Stéphane		Deciding Regular Grammar Logics with Converse through First-Order Logic
In: Journal of Logic, Language and Information [14], 289-329
Delahaye, David
Jaume, Mathieu
Prevosto, Virgile		Coq, un outil pour l'enseignement
In: Technique et Science Informatiques [24], 1139-1160
Ganzinger, Harald
Stuber, Jürgen		Superposition with equivalence reasoning and delayed clause normal form transformation
In: Information and Computation [199], 3-23
Goncharov, Sergey
Harizanov, Valentina
Knight, Julia F.
Morozov, Andrey
Romina, Anya		On automorphic tuples of elements in computable models
In: Siberian Mathematical Journal [46], 405-412
Hoffmann, JörgIn Defense of PDDL Axioms
In: Artificial Intelligence [168], 38-69
Hoffmann, JörgThe Deterministic Part of IPC-4: An Overview
In: Journal of Artificial Intelligence Research [24], 519 - 579
Hoffmann, JörgWhere Ignoring Delete Lists Works: Local Search Topology in Planning Benchmarks
In: Journal of Artificial Intelligence Research [24], 685-758
Korovin, Konstantin
Voronkov, Andrei		Knuth-Bendix constraint solving is NP-complete
In: ACM Transactions on Computational Logic [6], 361-388
2
Show details for Thesis - Masters thesisThesis - Masters thesis
1
Show details for Thesis - PhD thesisThesis - PhD thesis
1
Show details for Thesis - otherThesis - other
2
Show details for Unpublished/DraftUnpublished/Draft
37
Show details for 20042004
36
Show details for 20032003
39
Show details for 20022002
58
Show details for 20012001
48
Show details for 20002000
61
Show details for 19991999

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