MPI-INF/SWS Research Reports 1991-2017
2. Number - only D3 - MPI-INF/SWS Research Reports 1991-2017
| Number | Title | Name(s) | Pages | |
|---|---|---|---|---|
 1999-3-004 |  | Proving a conjecture of Andreka on temporal logic | Raskin, Schobbens | 13 |
| Number | Title | Name(s) | Pages | |
|---|---|---|---|---|
| 1999-3-004 | | Proving a conjecture of Andreka on temporal logic | Raskin, Schobbens | 13 |