| |
| 1984 | ||
|---|---|---|
| 3 | Jacques Calmet, Marc Bergman: Some design principles for a mathematical knowledge representation system: a new approach to scientific calculation. AAECC 1984: 253-265 | |
| 1982 | ||
| 2 | Marc Bergman: Algebraic Specifications: Constructive Methodology in Logic Programming. EUROCAM 1982: 91-100 | |
| 1981 | ||
| 1 | Marc Bergman, Pierre Deransart: Abstract Data Types and Rewriting Systems: Application to the Programming of Algebraic Abstract Data Types in Prolog. CAAP 1981: 101-116 | |
| 1 | Jacques Calmet | [3] |
| 2 | Pierre Deransart | [1] |