Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 01/09/1989 → 06/09/1995 |
Meta-logiske teorier i datalogien
- Villadsen, Jørgen (PhD Student)
- Jensen, Hans Siggaard (Examiner)
- Nilsson, Jørgen Fischer (Main Supervisor)
| Status | Finished |
|---|---|
| Effective start/end date | 01/09/1989 → 06/09/1995 |