DSpace - Tor Vergata: Items for Author Proietti, Maurizio

Items for Author Proietti, Maurizio in All of DSpace

Return to Browse by Author
Sorting by Title	Sort by Date

Showing 2 items.

Date of Issue	Title	Authors
Feb-2007	Proving properties of constraint logic programs by eliminating existential variables	Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
13-Jun-2008	Transformation techniques for constraint logic programs with applications to protocol verification	Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio