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:	Logic programming.