Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs (Abstract in rivista)

Type
Label
  • Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs (Abstract in rivista) (literal)
Anno
  • 2006-01-01T00:00:00+01:00 (literal)
Alternative label
  • Pettorossi, A.; Proietti, M.; Senni, V. (2006)
    Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Pettorossi, A.; Proietti, M.; Senni, V. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://drops.dagstuhl.de/opus/volltexte/2006/497 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 05161 (literal)
Rivista
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • Electronic Proceedings of the Dagstuhl Seminar 05161, Transformation Techniques in Software Engineering, IBFI, Germany Extended Abstract} (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali
  • 2 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#supporto
  • Altro (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • U. Roma Tor Vergata; IASI-CNR (literal)
Titolo
  • Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs (literal)
Prodotto di
Autore CNR

Incoming links:


Autore CNR di
Prodotto
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi
data.CNR.it