Correction to: Programming Languages and Systems (LNCS 13990, (10.1007/978-3-031-30044-8))

Thomas Wies

doi:10.1007/978-3-031-30044-8_21

Correction to: Programming Languages and Systems (LNCS 13990, (10.1007/978-3-031-30044-8))

Thomas Wies

Computer Science

Research output: Contribution to journal › Comment/debate › peer-review

Abstract

In the originally published version of chapter 12, the order of the author names was not alphabetical as expected. This has been corrected. In the originally published version of chapter 20, there was an error in Theorem 1. This has been corrected.

Original language	English (US)
Pages (from-to)	C1
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	13990 LNCS
DOIs	https://doi.org/10.1007/978-3-031-30044-8_21
State	Published - 2023
Event	32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023 - Paris, France Duration: Apr 22 2023 → Apr 27 2023

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-031-30044-8_21

Cite this

@article{823199ef0c6c4c8d8a61f17fb907dcbd,

title = "Correction to: Programming Languages and Systems (LNCS 13990, (10.1007/978-3-031-30044-8))",

abstract = "In the originally published version of chapter 12, the order of the author names was not alphabetical as expected. This has been corrected. In the originally published version of chapter 20, there was an error in Theorem 1. This has been corrected.",

author = "Thomas Wies",

note = "Publisher Copyright: {\textcopyright} The Author(s) 2023.; 32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023 ; Conference date: 22-04-2023 Through 27-04-2023",

year = "2023",

doi = "10.1007/978-3-031-30044-8_21",

language = "English (US)",

volume = "13990 LNCS",

pages = "C1",

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

issn = "0302-9743",

publisher = "Springer Science and Business Media Deutschland GmbH",

}

TY - JOUR

T1 - Correction to

T2 - 32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023

AU - Wies, Thomas

N1 - Publisher Copyright: © The Author(s) 2023.

PY - 2023

Y1 - 2023

N2 - In the originally published version of chapter 12, the order of the author names was not alphabetical as expected. This has been corrected. In the originally published version of chapter 20, there was an error in Theorem 1. This has been corrected.

AB - In the originally published version of chapter 12, the order of the author names was not alphabetical as expected. This has been corrected. In the originally published version of chapter 20, there was an error in Theorem 1. This has been corrected.

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

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

U2 - 10.1007/978-3-031-30044-8_21

DO - 10.1007/978-3-031-30044-8_21

M3 - Comment/debate

AN - SCOPUS:85178647683

SN - 0302-9743

VL - 13990 LNCS

SP - C1

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

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

Y2 - 22 April 2023 through 27 April 2023

ER -

Correction to: Programming Languages and Systems (LNCS 13990, (10.1007/978-3-031-30044-8))

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this