- Tytuł:
- A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs
- Autorzy:
-
Senni, V.
Pettorossi, A.
Proietti, M. - Data publikacji:
- 2009
- Słowa kluczowe:
-
program transformation
folding rule
variable elimination
constraint logic programming (CLP) - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł