IRIS

Pettorossi, A., Proietti, M., Senni, V. (2006). Proving properties of constraint logic programs by eliminating existential variables. In S. Etalle, M. Truszczynski (a cura di), Logic programming (pp. 179-195). Springer-Verlag [10.1007/11799573_15].

Proving properties of constraint logic programs by eliminating existential variables

PETTOROSSI, ALBERTO;SENNI, VALERIO
2006-01-01
2006
Settore ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
English
Rilevanza internazionale
Capitolo o saggio
Pettorossi, A., Proietti, M., Senni, V. (2006). Proving properties of constraint logic programs by eliminating existential variables. In S. Etalle, M. Truszczynski (a cura di), Logic programming (pp. 179-195). Springer-Verlag [10.1007/11799573_15].
Pettorossi, A; Proietti, M; Senni, V
Contributo in libro
03 - Contributo in libro
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2108/41701
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? 5
social impact