Logic-Based Program Synthesis and Transformation: 3rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
Research output: Book/Report › Anthology › Research
Standard
Logic-Based Program Synthesis and Transformation : 3rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings. / Glück, Robert (Editor); Kafle, Bishoksan (Editor).
Springer, 2023. 211 p. (Lecture Notes in Computer Science, Vol. 14330).Research output: Book/Report › Anthology › Research
Harvard
Glück, R & Kafle, B (eds) 2023, Logic-Based Program Synthesis and Transformation: 3rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings. Lecture Notes in Computer Science, vol. 14330, Springer. https://doi.org/10.1007/978-3-031-45784-5
APA
Glück, R., & Kafle, B. (Eds.) (2023). Logic-Based Program Synthesis and Transformation: 3rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings. Springer. Lecture Notes in Computer Science Vol. 14330 https://doi.org/10.1007/978-3-031-45784-5
Vancouver
Glück R, (ed.), Kafle B, (ed.). Logic-Based Program Synthesis and Transformation: 3rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings. Springer, 2023. 211 p. (Lecture Notes in Computer Science, Vol. 14330). https://doi.org/10.1007/978-3-031-45784-5
Author
Bibtex
@book{6c5815797aa24d0a93bba43dd128cefa,
title = "Logic-Based Program Synthesis and Transformation: 3rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings",
editor = "Robert Gl{\"u}ck and Bishoksan Kafle",
year = "2023",
doi = "10.1007/978-3-031-45784-5",
language = "English",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
address = "Switzerland",
note = "LOPSTR 2023, LOPSTR ; Conference date: 23-10-2023 Through 24-10-2023",
url = "https://lopstr.github.io/2023/",
}
RIS
TY - BOOK
T1 - Logic-Based Program Synthesis and Transformation
T2 - LOPSTR 2023
A2 - Glück, Robert
A2 - Kafle, Bishoksan
PY - 2023
Y1 - 2023
U2 - 10.1007/978-3-031-45784-5
DO - 10.1007/978-3-031-45784-5
M3 - Anthology
T3 - Lecture Notes in Computer Science
BT - Logic-Based Program Synthesis and Transformation
PB - Springer
Y2 - 23 October 2023 through 24 October 2023
ER -
ID: 375981187