Marc Bergman

Publication Activity (10 Years)

Years Active: 1981-1984
Publications (10 Years): 0

Publications

Jacques Calmet, Marc Bergman
Some design principles for a mathematical knowledge representation system: a new approach to scientific calculation. AAECC (1984)
Marc Bergman
Algebraic Specifications: Constructive Methodology in Logic Programming. EUROCAM (1982)
Marc Bergman, Pierre Deransart
Abstract Data Types and Rewriting Systems: Application to the Programming of Algebraic Abstract Data Types in Prolog. CAAP (1981)