Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template

Publications Master Template

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 Thesis - Masters thesisThesis - Masters thesis
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
Show details for Journal ArticleJournal Article
6
Show details for ReportReport
6
Hide details for Thesis - Masters thesisThesis - Masters thesis
Autexier, SergeHeuristiken zum Beweisen von Gleichungen
Universität des Saarlandes
Bach, AlexanderAttachment IconStatic analysis of functional programs via Linear Logic
Universität des Saarlandes
Engel, ThorstenAttachment IconQuantifier Elimination in Second-Order Predicate Logic
Universität des Saarlandes
Meyer, ChristophAttachment IconParallel Unit Resulting Resolution
Universität des Saarlandes
Schlobach, StefanUntersuchung nicht-monotoner Logiken - Fallstudie zur Automatisierung
Universität des Saarlandes
Smaus, Jan-GeorgFinding Resolution K-Transformations
Universität des Saarlandes
1
Show details for Thesis - PhD thesisThesis - PhD thesis
1
Show details for Thesis - Habilitation thesisThesis - Habilitation thesis
55
Show details for 19951995
64
Show details for 19941994
47
Show details for 19931993
26
Show details for 19921992
26
Show details for 19911991
2
Show details for 19901990
1
Show details for 19881988
782

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