|
СТ |
A Multi-level Approach to Program Synthesis |
1998 |
Bibel W., Korn D., Kreitz C., Kurucz F., Otten J., Schmitt S., Stolpmann G. |
|
|
|
Lecture Notes in Computer Science |
14.10.1998 |
|
СТ |
Infrastructure for Wide-Area Software Development |
1996 |
Belanger D., Korn D., Rao H. |
|
|
|
Lecture Notes in Computer Science |
03.12.1996 |
|
СТ |
Issues in Theorem Proving Based on the Connection Method |
1995 |
Bibel W., Bruning S., Egly U., Korn D., Rath T. |
|
|
|
Lecture Notes in Artificial Intelligence |
02.06.1995 |
|
СТ |
A New Dimension for the Unix File System |
1990 |
Korn D., Krell E. |
|
|
|
Software - Practice and Experience |
05.12.1991 |
