Residuation and guarded rules for constraint logic programming /

Bibliographic Details
Main Author: Smolka, Gert
Format: Book
Language:English
Published: Rueil Malmaison, France : Digital, Paris Research Laboratory, [1991]
Series:Research report (Digital Equipment Corporation. Paris Research Laboratory) ; no. 12.
Subjects:
Description
Item Description:"June 1991."
Abstracts in English and French.
Physical Description:v, 14 pages ; 30 cm.
Bibliography:Includes bibliographical references (pages 13-14).