EEMCS EPrints Service
|
||||||||||||||||||||||||||||||||
|
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.
Export this item as: To correct this item please ask your editor Repository Staff Only: edit this item |
||||||||||||||||||||||||||||||||