G. Richard

Publication Activity (10 Years)

Years Active: 1987-2000
Publications (10 Years): 0

Publications

G. Richard
Identification in the Limit and Constraint ILP. ILP Work-in-progress reports (2000)
G. Richard, Antoine Rizk
Sémantique de Parlog, un langage logique parallèle. SPLT (1988)
Pierre Deransart, C. Moss, G. Richard
Spécification formelle de Prolog standard. SPLT (1987)