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
Show details for 20032003
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
64
Show details for 19941994
47
Hide details for 19931993
3
Show details for Part of a BookPart of a Book
36
Show details for Proceedings ArticleProceedings Article
6
Hide details for Journal ArticleJournal Article
Barnett, Richard
Basin, David A.
Hesketh, Jane		A Recursion Planning Analysis of Inductive Completion
In: Annals of Mathematics and Artificial Intelligence [8], 363-381
Bockmayr, AlexanderConditional Narrowing Modulo a Set of Equations
In: Applicable Algebra in Engineering, Communication and Computing [4], 147-168
Chadha, Ritu
Plaisted, David A.		On the mechanical derivation of loop invariants
In: Journal of Symbolic Computation [15], 705-744
Dimopoulos, Yannis
Magirou, Vangelis
Papadimitriou, Christos		On Kernels, Defaults and Even Graphs
In: Annals of Mathematics and Artificial Intelligence,
Jaeger, ManfredCircumscription: Completeness Reviewed
In: Artificial Intelligence [60], 293-301
Ohlbach, Hans JürgenTranslation Methods for Non-Classical Logics: An Overview
In: Bulletin of the Interest Group in Propositional and Predicate Logics (IGPL) [1], 69-90
1
Show details for ReportReport
1
Show details for Thesis - Habilitation thesisThesis - Habilitation thesis
26
Show details for 19921992
26
Show details for 19911991

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