EEMCS EPrints Service

Education

Research

Prospective Students

Jobs

Publications

Intranet (internal)

Nederlands

Contact

Sitemap

Organisation

1106 On the Correctness of the Replacement Operation for CLP Modules

Home Policy Brochure Browse Search User Area Contact Help

Etalle, S. and Gabbrielli, M. (1996) On the Correctness of the Replacement Operation for CLP Modules. Journal of Functional and Logic Programming, 1996. ISSN 1080-5230

Full text not available from this repository.

Official URL: http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1996/A96-01/A96-01.html

Item Type:	Article
Research Group:	EWI-DIES: Distributed and Embedded Security
Additional Information:	Imported from DIES
ID Code:	1106
Status:	Published
Deposited On:	12 December 2005
Refereed:	Yes
International:	Yes
More Information:	statistics

Export this item as:

BibTeX
XML

To correct this item please ask your editor

Repository Staff Only: edit this item