| |
| 1992 | ||
|---|---|---|
| 4 | Christian Horn: Oyster-2: Bringing Type Theory into Practice. IFIP Congress (1) 1992: 49-56 | |
| 1990 | ||
| 3 | Alan Bundy, Frank van Harmelen, Christian Horn, Alan Smaill: The Oyster-Clam System. CADE 1990: 647-648 | |
| 1989 | ||
| 2 | Klaus Bothe, Christian Horn: Übersetzung zwischen höheren Programmiersprachen: eine Lösung des UNCOL-Problems? Angewandte Informatik 31(7): 283-286 (1989) | |
| 1 | EE | Klaus Bothe, B. Hohberg, Christian Horn, O. Wikarski: A portable high-speed PASCAL to C Translator. SIGPLAN Notices 24(9): 60-65 (1989) |
| 1 | Klaus Bothe | [1] [2] |
| 2 | Alan Bundy | [3] |
| 3 | Frank van Harmelen | [3] |
| 4 | B. Hohberg | [1] |
| 5 | Alan Smaill | [3] |
| 6 | O. Wikarski | [1] |