Preface

Fabio Fioravanti, John Patrick Gallagher, Maurizio Proietti

Publikation: Bidrag til tidsskrift › Tidsskriftartikel

Abstract

Special Issue on the 27th International Symposium on Logic-based Program Synthesis and Transformation: LOPSTR 2017.

@article{3fce482eba164adeb93b7a333825bc97,

title = "Preface",

abstract = "Special Issue on the 27th International Symposium on Logic-based Program Synthesis and Transformation: LOPSTR 2017.",

keywords = "Logic, Program development, Program transformation",

author = "Fabio Fioravanti and Gallagher, {John Patrick} and Maurizio Proietti",

year = "2020",

doi = "10.3233/FI-2020-1923",

language = "English",

volume = "173",

pages = "i--ii",

journal = "Fundamenta Informaticae",

issn = "0169-2968",

publisher = "I O S Press",

number = "4",

}

TY - JOUR

T1 - Preface

AU - Fioravanti, Fabio

AU - Gallagher, John Patrick

AU - Proietti, Maurizio

PY - 2020

Y1 - 2020

N2 - Special Issue on the 27th International Symposium on Logic-based Program Synthesis and Transformation: LOPSTR 2017.

AB - Special Issue on the 27th International Symposium on Logic-based Program Synthesis and Transformation: LOPSTR 2017.

KW - Logic

KW - Program development

KW - Program transformation

U2 - 10.3233/FI-2020-1923

DO - 10.3233/FI-2020-1923

M3 - Journal article

VL - 173

SP - i-ii

JO - Fundamenta Informaticae

JF - Fundamenta Informaticae

SN - 0169-2968

IS - 4

ER -