EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Sitemap
 Search
 Organisation

EEMCS EPrints Service


980 The Replacement Operation for CCP Programs
Home Policy Brochure Browse Search User Area Contact Help

Bertolino, M. and Etalle, S. and Palamidessi, C. (2000) The Replacement Operation for CCP Programs. In: 9th Int. Workshop on Logic Program Synthesis and Transformation (LOPSTR), Venezia, Italy. pp. 216-233. Springer-Verlag. ISBN 3-540-67628-7

Full text not available from this repository.


Item Type:Conference or Workshop Paper (Proceedings UNSPECIFIED, Presentation Type UNSPECIFIED)
Research Group:EWI-DIES: Distributed and Embedded Security
Additional Information:Imported from DIES
ID Code:980
Status:Published
Deposited On:12 December 2005
Refereed:Yes
International:Yes
More Information:statistics

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item