|  |
| Jesper Blak Møller External Associate Professor |
|
|
DTU Compute
Department of Applied Mathematics and Computer Science
Technical University of Denmark
Matematiktorvet
Building 303 B, room
2800 Kgs. Lyngby
Denmark
|
|
|
|
|
|
|
|
Year |
|
Type:
Patent - Patent
|
2000 |
|
part of: Computer Science Logic (LNCS 1683), 1999, Springer-Verlag,
Type:
Article in proceedings - Article in proceedings
Presented at:
8th Annual Conference of the European Association for
Computer Science Logic, Madrid, Spain
|
1999 |
|
Type:
Report - Report
|
1999 |
|
Type:
Report - Report
|
1999 |
|
1
|
|