This special issue contains revised and extended versions of papers presented at the 27th Interna-tional Symposium on Logic-based Program Synthesis and Transformation – LOPSTR 2017 – whichwas held in Namur, Belgium on 10-12 October, 2017.
Preface. Special Issue on the 27th International Symposium on Logic-based Program Synthesis and Transformation: LOPSTR 2017
Proietti Maurizio
2020
Abstract
This special issue contains revised and extended versions of papers presented at the 27th Interna-tional Symposium on Logic-based Program Synthesis and Transformation – LOPSTR 2017 – whichwas held in Namur, Belgium on 10-12 October, 2017.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
fioravanti-et-al-2020-preface.pdf
accesso aperto
Descrizione: Preface of the Special Issue on the 27th International Symposium on Logic-based Program Synthesis and Transformation: LOPSTR 2017
Tipologia:
Versione Editoriale (PDF)
Licenza:
Nessuna licenza dichiarata (non attribuibile a prodotti successivi al 2023)
Dimensione
60.08 kB
Formato
Adobe PDF
|
60.08 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
