Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
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 Thu May 24 05:38:42 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||