@prefix pubblicazioni: . @prefix unitaDiPersonaleInterno: . @prefix prodotto: . unitaDiPersonaleInterno:MATRICOLA42097 pubblicazioni:autoreCNRDi prodotto:ID100374 . @prefix prodottidellaricerca: . @prefix istituto: . istituto:CDS003 prodottidellaricerca:prodotto prodotto:ID100374 . @prefix rdf: . prodotto:ID100374 rdf:type prodotto:TIPO1303 . @prefix retescientifica: . prodotto:ID100374 rdf:type retescientifica:ProdottoDellaRicerca . @prefix rdfs: . prodotto:ID100374 rdfs:label "Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism (Comunicazione a convegno)"@en . @prefix xsd: . prodotto:ID100374 pubblicazioni:anno "2003-01-01T00:00:00+01:00"^^xsd:gYear . @prefix skos: . prodotto:ID100374 skos:altLabel "
Pettorossi, A., Proietti, M. (2003)
Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism
in WRSC'03, Workshop on Robust Software Construction, Hayama, Kanagawa, Japan
"^^rdf:HTML ; pubblicazioni:autori "Pettorossi, A., Proietti, M."^^xsd:string ; pubblicazioni:titolo "Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism"^^xsd:string ; prodottidellaricerca:prodottoDi istituto:CDS003 ; pubblicazioni:autoreCNR unitaDiPersonaleInterno:MATRICOLA42097 .