Publications
Server halma.mpi-inf.mpg.de
Publications
Entries sorted by: 5. Year - 4. All Years - 2. MPG Jahrbuch Format
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
| # |  | Year | edoc | Lck | Author(s) [non member] | Editor(s) [non member] | Title | Type | edoc identifier | |||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 698 |
| | ||||||||||||
| 10 |
| | ||||||||||||
| 39 |
| | ||||||||||||
| 26 |
| | ||||||||||||
| 9 |
| | ||||||||||||
| | 2004 | | Sofronie-Stokkermans, Viorica | | Algebraic and logical methods in automated theorem proving and in the study of concurrency Universität des Saarlandes | Thesis - Habilitation thesis | E81B5FE1FA83FE05C1256FEB0047BB37-Sofronie-Stokkermans-hab04 | | |||||
| 2002 |  |  | Charatonik, Witold | | Direktionale Typen in der Logischen Programmierung Universität des Saarlandes | Thesis - Habilitation thesis | 5DE02746E5DFC7D1C1256B7C0049C7C6-Charatonik2002habil | | ||||||
| | 2002 | | | Jaeger, Manfred | | | Probabilistic Decision Graphs Universität des Saarlandes | Thesis - Habilitation thesis | 07F2453E58E9088AC1256CAF006377AF-JaegerHabil | | |||
| 2000 | Weidenbach, Christoph | Entscheidbarkeitsprobleme für monadische (Horn)Klauselklassen Universität des Saarlandes, Naturwissenschaftlich-Technische Fakultät | Thesis - Habilitation thesis | 278C6FC049505963C1256A13007208D0-Weidenbach2000habil | | |||||||||
| | 1998 | | Podelski, Andreas | | Thema der Antrittsvorlesung: Alte Resultate aus der Automatentheorie Universität des Saarlandes | Thesis - Habilitation thesis | 1DED97605C77B240C1256A2500510C86-PodelskiHabil1998 | | |||||
| 1996 | Bockmayr, Alexander | Gleichheit und Constraints in der Logikprogrammierung Universität des Saarlandes | Thesis - Habilitation thesis | 55F5FABD09D2103CC12565B00034FDE2-bockmayr_habil_96 | | |||||||||
| | 1995 | | Basin, David A. | | Thema der Antrittsvorlesung: MONA - Ein Werkzeug zur Systemverifikation und -entwicklung Universität des Saarlandes | Thesis - Habilitation thesis | F93DEA3E3BE59A5BC1256A240050A716-BasinHabil1995 | | |||||
| 1994 | Hanus, Michael | Thema der Antrittsvorlesung: Deklarative Programmierparadigmen und ihre Integration Universität des Saarlandes | Thesis - Habilitation thesis | 5189354A8D2BF03EC1256A24005037A3-HanusHabil1994 | | |||||||||
| | 1993 | | Ohlbach, Hans Jürgen | | Thema der Antrittsvorlesung: Transformation logischer Systeme Universität des Saarlandes | Thesis - Habilitation thesis | 4453007D9BC5D30BC1256A24004CC807-OhlbachHabil1993 | | |||||
| 782 |
| | ||||||||||||
Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)