Preface

Juliana Bowles; Harald Søndergaard

doi:10.1007/978-3-031-71294-4

Preface

Juliana Bowles, Harald Søndergaard

School of Computer Science

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

Original language	English
Title of host publication	Logic-based program synthesis and transformation
Subtitle of host publication	34th international symposium, LOPSTR 2024, Milan, Italy, September 9–10, 2024, proceedings
Editors	Juliana Bowles, Harald Søndergaard
Place of Publication	Cham
Publisher	Springer
Pages	v-vi
Number of pages	1
ISBN (Electronic)	9783031712944
ISBN (Print)	9783031712937
DOIs	https://doi.org/10.1007/978-3-031-71294-4
Publication status	Published - 2024
Event	34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024 - Milan, Italy Duration: 9 Sept 2024 → 10 Sept 2024

Publication series

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

Conference

Conference	34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024
Country/Territory	Italy
City	Milan
Period	9/09/24 → 10/09/24

Access to Document

10.1007/978-3-031-71294-4

Cite this

Bowles, J., & Søndergaard, H. (2024). Preface. In J. Bowles, & H. Søndergaard (Eds.), Logic-based program synthesis and transformation: 34th international symposium, LOPSTR 2024, Milan, Italy, September 9–10, 2024, proceedings (pp. v-vi). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14919 LNCS). Springer. https://doi.org/10.1007/978-3-031-71294-4

Bowles, Juliana ; Søndergaard, Harald. / Preface. Logic-based program synthesis and transformation: 34th international symposium, LOPSTR 2024, Milan, Italy, September 9–10, 2024, proceedings. editor / Juliana Bowles ; Harald Søndergaard. Cham : Springer, 2024. pp. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inbook{a55e37345c5143a08268681730df95b4,

title = "Preface",

author = "Juliana Bowles and Harald S{\o}ndergaard",

year = "2024",

doi = "10.1007/978-3-031-71294-4",

language = "English",

isbn = "9783031712937",

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

publisher = "Springer",

pages = "v--vi",

editor = "Juliana Bowles and Harald S{\o}ndergaard",

booktitle = "Logic-based program synthesis and transformation",

address = "Netherlands",

note = "34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024 ; Conference date: 09-09-2024 Through 10-09-2024",

}

Bowles, J & Søndergaard, H 2024, Preface. in J Bowles & H Søndergaard (eds), Logic-based program synthesis and transformation: 34th international symposium, LOPSTR 2024, Milan, Italy, September 9–10, 2024, proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 14919 LNCS, Springer, Cham, pp. v-vi, 34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024, Milan, Italy, 9/09/24. https://doi.org/10.1007/978-3-031-71294-4

Preface. / Bowles, Juliana; Søndergaard, Harald.
Logic-based program synthesis and transformation: 34th international symposium, LOPSTR 2024, Milan, Italy, September 9–10, 2024, proceedings. ed. / Juliana Bowles; Harald Søndergaard. Cham: Springer, 2024. p. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14919 LNCS).

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

TY - CHAP

T1 - Preface

AU - Bowles, Juliana

AU - Søndergaard, Harald

PY - 2024

Y1 - 2024

U2 - 10.1007/978-3-031-71294-4

DO - 10.1007/978-3-031-71294-4

M3 - Foreword/postscript

AN - SCOPUS:85204525428

SN - 9783031712937

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

A2 - Bowles, Juliana

A2 - Søndergaard, Harald

PB - Springer

CY - Cham

T2 - 34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024

Y2 - 9 September 2024 through 10 September 2024

ER -

Bowles J, Søndergaard H. Preface. In Bowles J, Søndergaard H, editors, Logic-based program synthesis and transformation: 34th international symposium, LOPSTR 2024, Milan, Italy, September 9–10, 2024, proceedings. Cham: Springer. 2024. p. v-vi. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-031-71294-4