Using Real Relaxations During Program Specialization (Contributo in atti di convegno)

Type
Label
  • Using Real Relaxations During Program Specialization (Contributo in atti di convegno) (literal)
Anno
  • 2011-01-01T00:00:00+01:00 (literal)
Alternative label
  • Fioravanti, F.; Pettorossi, A.; Proietti, M.; Senni, V. (2011)
    Using Real Relaxations During Program Specialization
    in 21st International Symposium on Logic-Based Synthesis and Transformation (LOPSTR 2011), Odense
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Fioravanti, F.; Pettorossi, A.; Proietti, M.; Senni, V. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • 21st International Symposium on Logic-Based Synthesis and Transformation (LOPSTR 2011), Univ. of Southern Denmark, Odense, Denmark, pp. 96-111 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • U. Chieti-Pescara; U. Roma Tor Vergata; IASI-CNR; U. Roma Tor Vergata (literal)
Titolo
  • Using Real Relaxations During Program Specialization (literal)
Prodotto di
Autore CNR

Incoming links:


Autore CNR di
Prodotto
data.CNR.it