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
Hide details for 19961996
1
Show details for BookBook
6
Show details for Part of a BookPart of a Book
1
Show details for ProceedingsProceedings
35
Show details for Proceedings ArticleProceedings Article
7
Hide details for Journal ArticleJournal Article
Basin, David A.
Matthews, Seán		Adding Metatheoretic facilities to First-order Theories
In: Journal of Logic and Computation [6], 835-849
Basin, David A.
Walsh, Toby		A Calculus for and Termination of Rippling
In: Journal of Automated Reasoning [16], 147-180
Chaudhuri, Shiva
Dimopoulos, Yannis
Zaroliagis, Christos		On the Parallel Complexity of Acyclic Logic Programs
In: Parallel Processing Letters [6], 223-230
Dimopoulos, YannisOn Computing Logic Programs
In: Journal of Automated Reasoning [17], 259-289
Kraan, Ina
Basin, David A.
Bundy, Alan		Middle-out reasoning for synthesis and induction
In: Journal of Automated Reasoning [16], 113-145
Krishna Rao, M. R. K.Relating confluence, innermost-confluence and outermost-confluence properties of term rewriting systems
In: Acta Informatica [33], 595-606
Weidenbach, ChristophUnification in Sort Theories and its Applications
In: Annals of Mathematics and Artificial Intelligence [18], 261-293
6
Show details for ReportReport
6
Show details for Thesis - Masters thesisThesis - Masters thesis
1
Show details for Thesis - PhD thesisThesis - PhD thesis
1
Show details for Thesis - Habilitation thesisThesis - Habilitation thesis

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