@prefix pubblicazioni: . @prefix unitaDiPersonaleInterno: . @prefix prodotto: . unitaDiPersonaleInterno:MATRICOLA42097 pubblicazioni:autoreCNRDi prodotto:ID153580 . @prefix prodottidellaricerca: . @prefix istituto: . istituto:CDS003 prodottidellaricerca:prodotto prodotto:ID153580 . @prefix unitaDiPersonaleEsterno: . unitaDiPersonaleEsterno:ID1333 pubblicazioni:autoreCNRDi prodotto:ID153580 . unitaDiPersonaleEsterno:ID1288 pubblicazioni:autoreCNRDi prodotto:ID153580 . @prefix rdf: . @prefix retescientifica: . prodotto:ID153580 rdf:type retescientifica:ProdottoDellaRicerca , prodotto:TIPO1105 . @prefix rdfs: . prodotto:ID153580 rdfs:label "Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs (Abstract in rivista)"@en . @prefix xsd: . prodotto:ID153580 pubblicazioni:anno "2006-01-01T00:00:00+01:00"^^xsd:gYear . @prefix skos: . prodotto:ID153580 skos:altLabel "
Pettorossi, A.; Proietti, M.; Senni, V. (2006)
Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs
"^^rdf:HTML ; pubblicazioni:autori "Pettorossi, A.; Proietti, M.; Senni, V."^^xsd:string ; pubblicazioni:url "http://drops.dagstuhl.de/opus/volltexte/2006/497"^^xsd:string ; pubblicazioni:numeroVolume "05161"^^xsd:string . @prefix ns11: . prodotto:ID153580 pubblicazioni:rivista ns11:ID93178 ; pubblicazioni:note "Electronic Proceedings of the Dagstuhl Seminar 05161, Transformation Techniques in Software Engineering, IBFI, Germany\n\nExtended Abstract}"^^xsd:string ; pubblicazioni:pagineTotali "2"^^xsd:string ; pubblicazioni:supporto "Altro"^^xsd:string ; pubblicazioni:affiliazioni "U. Roma Tor Vergata; IASI-CNR"^^xsd:string ; pubblicazioni:titolo "Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs"^^xsd:string . @prefix modulo: . prodotto:ID153580 prodottidellaricerca:prodottoDi modulo:ID2347 , istituto:CDS003 ; pubblicazioni:autoreCNR unitaDiPersonaleEsterno:ID1288 , unitaDiPersonaleEsterno:ID1333 , unitaDiPersonaleInterno:MATRICOLA42097 . ns11:ID93178 pubblicazioni:rivistaDi prodotto:ID153580 . modulo:ID2347 prodottidellaricerca:prodotto prodotto:ID153580 .