EEMCS

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

EEMCS EPrints Service


Editor: Bossi, A.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 2.

2000

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
Bossi, A. and Cocco, N. and Etalle, S. (2000) Transformation of Left Terminating Programs. In: 9th Int. Workshop on Logic Program Synthesis and Transformation (LOPSTR), Venezia, Italy. pp. 156-175. Springer-Verlag. ISBN 3-540-67628-7

This list was generated on Sun May 21 22:25:01 CEST 2017.