DSpace - Tor Vergata >

Items for Author Proietti, Maurizio in All of DSpace

Return to Browse by Author
Sort by Title Sorting by Date

Showing 2 items.

Date of IssueTitle Authors
Feb-2007 Proving properties of constraint logic programs by eliminating existential variablesPettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
13-Jun-2008 Transformation techniques for constraint logic programs with applications to protocol verificationPettorossi, Alberto; Proietti, Maurizio; Senni, Valerio