Transformation Rules for Locally Stratified Constraint Logic Programs (Rapporti progetti di ricerca)

Type
Label
  • Transformation Rules for Locally Stratified Constraint Logic Programs (Rapporti progetti di ricerca) (literal)
Anno
  • 2003-01-01T00:00:00+01:00 (literal)
Alternative label
  • Fioravanti, F.; Pettorossi, A.; Proietti, M. (2003)
    Transformation Rules for Locally Stratified Constraint Logic Programs
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Fioravanti, F.; Pettorossi, A.; Proietti, M. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • Rapporto di Ricerca IASI-CNR n.592, Accettato in: Lecture Notes in Computer Science n.3049, pp.292-340 Accettato in: M. Bruynooghe and K.-K. Lau (eds.): Program Development in Computational Logic, LNCS, Springer (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#supporto
  • Altro (literal)
Titolo
  • Transformation Rules for Locally Stratified Constraint Logic Programs (literal)
Prodotto di
Autore CNR

Incoming links:


Autore CNR di
Prodotto
data.CNR.it