Preface

Erika Ábrahám; Clemens Dubslaff; Silvia Lizeth Tapia Tarifa

doi:10.1007/978-3-031-47963-2

Preface

Erika Ábrahám, Clemens Dubslaff, Silvia Lizeth Tapia Tarifa

Algorithms and Logics for Verification

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

Original language	English
Title of host publication	20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023
Editors	Erika Ábrahám, Clemens Dubslaff, Silvia Lizeth Tapia Tarifa
Publisher	Springer
Pages	v-vi
ISBN (Electronic)	978-3-031-47963-2
ISBN (Print)	978-3-031-47962-5
DOIs	https://doi.org/10.1007/978-3-031-47963-2
Publication status	Published - 2023
Event	20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023 - Lima, Peru Duration: 4 Dec 2023 → 8 Dec 2023

Publication series

Name	Lecture Notes in Computer Science
Volume	14446
ISSN (Print)	0302-9743

Conference

Conference	20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023
Country/Territory	Peru
City	Lima
Period	4/12/23 → 8/12/23

Access to Document

10.1007/978-3-031-47963-2

Cite this

@inbook{517ebb23c70d466fac114a35f8ae328c,

title = "Preface",

author = "Erika {\'A}brah{\'a}m and Clemens Dubslaff and Tarifa, {Silvia Lizeth Tapia}",

year = "2023",

doi = "10.1007/978-3-031-47963-2",

language = "English",

isbn = "978-3-031-47962-5",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "v--vi",

editor = "Erika {\'A}brah{\'a}m and Clemens Dubslaff and Tarifa, {Silvia Lizeth Tapia}",

booktitle = "20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023",

address = "Germany",

note = "20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023 ; Conference date: 04-12-2023 Through 08-12-2023",

}

Ábrahám, E, Dubslaff, C & Tarifa, SLT 2023, Preface. in E Ábrahám, C Dubslaff & SLT Tarifa (eds), 20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023. Lecture Notes in Computer Science, vol. 14446, Springer, pp. v-vi, 20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023, Lima, Peru, 4/12/23. https://doi.org/10.1007/978-3-031-47963-2

Preface. / Ábrahám, Erika; Dubslaff, Clemens; Tarifa, Silvia Lizeth Tapia.
20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023. ed. / Erika Ábrahám; Clemens Dubslaff; Silvia Lizeth Tapia Tarifa. Springer, 2023. p. v-vi (Lecture Notes in Computer Science; Vol. 14446).

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

TY - CHAP

T1 - Preface

AU - Ábrahám, Erika

AU - Dubslaff, Clemens

AU - Tarifa, Silvia Lizeth Tapia

PY - 2023

Y1 - 2023

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

U2 - 10.1007/978-3-031-47963-2

DO - 10.1007/978-3-031-47963-2

M3 - Foreword/editorial

AN - SCOPUS:85178552380

SN - 978-3-031-47962-5

T3 - Lecture Notes in Computer Science

SP - v-vi

BT - 20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023

A2 - Ábrahám, Erika

A2 - Dubslaff, Clemens

A2 - Tarifa, Silvia Lizeth Tapia

PB - Springer

T2 - 20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023

Y2 - 4 December 2023 through 8 December 2023

ER -

Preface

Publication series

Conference

Access to Document

Other files and links

Cite this