Preface

Emanuele De Angelis; Wim Vanhoof

Preface

Emanuele De Angelis, Wim Vanhoof

Faculty of Computer Science

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Foreword/postscript

Original language	English
Title of host publication	Logic-Based Program Synthesis and Transformation
Subtitle of host publication	31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings
Place of Publication	Tallinn
Pages	v-vi
Volume	13290
ISBN (Electronic)	978-3-030-98869-2
Publication status	Published - 12 Mar 2022
Event	31st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2021 - Tallinn, Estonia Duration: 7 Sept 2021 → 8 Sept 2021

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher	Springer Verlag
Volume	13290
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	31st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2021
Country/Territory	Estonia
City	Tallinn
Period	7/09/21 → 8/09/21

Cite this

@inbook{a440ff802d06413cace4788ed65f2888,

title = "Preface",

author = "{De Angelis}, Emanuele and Wim Vanhoof",

year = "2022",

month = mar,

day = "12",

language = "English",

isbn = "978-3-030-98868-5",

volume = "13290",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "v--vi",

booktitle = "Logic-Based Program Synthesis and Transformation",

note = "31st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2021 ; Conference date: 07-09-2021 Through 08-09-2021",

}

De Angelis, E & Vanhoof, W 2022, Preface. in Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings. vol. 13290, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13290, Tallinn, pp. v-vi, 31st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2021, Tallinn, Estonia, 7/09/21.

Preface. / De Angelis, Emanuele; Vanhoof, Wim.
Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings. Vol. 13290 Tallinn, 2022. p. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13290).

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Foreword/postscript

TY - CHAP

T1 - Preface

AU - De Angelis, Emanuele

AU - Vanhoof, Wim

PY - 2022/3/12

Y1 - 2022/3/12

UR - http://www.scopus.com/inward/record.url?scp=85127033467&partnerID=8YFLogxK

M3 - Foreword/postscript

AN - SCOPUS:85127033467

SN - 978-3-030-98868-5

VL - 13290

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - v-vi

BT - Logic-Based Program Synthesis and Transformation

CY - Tallinn

T2 - 31st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2021

Y2 - 7 September 2021 through 8 September 2021

ER -

Preface

Publication series

Conference

Other files and links

Cite this