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
Hide details for 20042004
1
Show details for ProceedingsProceedings
19
Show details for Proceedings ArticleProceedings Article
1
Show details for Electronic Proceedings ArticleElectronic Proceedings Article
9
Hide details for Journal ArticleJournal Article
Baumgartner, Peter
Furbach, Ulrich
Gross-Hardt, Margret
Sinner, Alex		Living Book -- Deduction, Slicing, and Interaction
In: Journal of Automated Reasoning [32], 259-286
Baumgartner, Peter
Grabowski, Barbara
Oevel, Walter
Melis, Erica		In2Math - Interaktive Mathematik- und Informatikgrundausbildung
In: Softwaretechnik-Trends [24], 36-45
Ganzinger, Harald
Nieuwenhuis, Robert
Nivela, Pilar		Attachment IconFast Term Indexing with Coded Context Trees
In: Journal of Automated Reasoning [32], 103-120
Hoffmann, Jörg
Porteous, Julie
Sebastia, Laura		Ordered Landmarks in Planning
In: Journal of Artificial Intelligence Research [22], 215-278
Jaulin, Luc
Ratschan, Stefan
Hardouin, Laurent		Set Computation for Nonlinear Control
In: Reliable Computing [10], 1-26
Podelski, AndreasIntroduction to the Special Issue on Verification and Computational Logic
In: Theory and Practice of Logic Programming (TPLP) [4], 541-751
Ratschan, StefanConvergent Approximate Solving of First-order Constraints by Approximate Quantifiers
In: ACM Transactions on Computational Logic [5], 264-281
Schmidt, Renate A.
Tishkovsky, Dmitry		Multi-Agent Dynamic Logics with Informational Test
In: Annals of Mathematics and Artificial Intelligence [42], 5-36
Schmidt, Renate A.
Tishkovsky, Dmitry
Hustadt, Ullrich		Interaction between Knowledge, Action and Commitment within Agent Dynamic Logic
In: Studia Logica [78], 381-415
3
Show details for ReportReport
2
Show details for Thesis - Masters thesisThesis - Masters thesis
1
Show details for Thesis - Habilitation thesisThesis - Habilitation thesis
1
Show details for Unpublished/DraftUnpublished/Draft
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

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