Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
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
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||