 | 1992 |
5 |  | Gérard Comyn,
Matthias Jarke,
Suryanarayana M. Sripada:
CNKBS'92, Proceedings of the First Compulog Net Meeting on Knowledge Bases, Munich, Germany, 6-7 February 1992
European Computer-Industry Research Centre, Munich 1992 |
4 |  | Gérard Comyn,
Norbert E. Fuchs,
Michael Ratcliffe:
Logic Programming in Action, Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992, Proceedings
Springer 1992 |
| 1983 |
3 |  | Sophie Tison,
Max Dauchet,
Gérard Comyn:
Metrical an Ordered Properties of Powerdomains.
FCT 1983: 465-474 |
| 1982 |
2 |  | Gérard Comyn,
Max Dauchet:
Approximations of Infinitary Objects.
ICALP 1982: 116-127 |
| 1979 |
1 |  | Gérard Comyn,
G. Werner:
Computable Data Types.
MFCS 1979: 228-236 |