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
Hide details for Part of a BookPart of a Book
Basin, David A.
Matthews, Seán
Viganò, Luca		A Topography of Labelled Modal Logics
In: Frontiers of Combining Systems (First International Workshop, Munich, March 1996), 75-92
Basin, David A.
Walsh, Toby		A Calculus for and Termination of Rippling
In: Automated mathematical induction, 147-180
Kraan, Ina
Basin, David A.
Bundy, Alan		Middle-Out Reasoning for Synthesis and Induction
In: Automated mathematical induction, 113-145
Matthews, Seán
Simpson, Alex		Reflection using the derivability conditions
In: Logic and Algebra, 603-616
Ohlbach, Hans Jürgen
Schmidt, Renate A.
Hustadt, Ullrich		Translating Graded Modalities into Predicate Logic
In: Proof Theory of Modal Logic, 253-291
Weydert, EmilDoxastic Normality Logic: A Qualitative Probabilistic Modal Framework for Defaults and Belief
In: Logic, Action, and Information, 152-171
1
Show details for ProceedingsProceedings
35
Show details for Proceedings ArticleProceedings Article
7
Show details for Journal ArticleJournal Article
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
55
Show details for 19951995

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