Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings /

This book constitutes the refereed proceedings of the 33rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2023, held in Cascais, Portugal, during October 23-24, 2023. The 8 full papers and 4 short papers included in this book were carefully reviewed and selected...

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Glück, Robert (Editor), Kafle, Bishoksan (Editor)
Format:	Electronic eBook
Language:	English
Published:	Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Edition:	1st ed. 2023.
Series:	Lecture Notes in Computer Science, 14330
Subjects:	Computer science. Computer Science Logic and Foundations of Programming.
Online Access:	https://doi.org/10.1007/978-3-031-45784-5
Tags:	Add Tag No Tags, Be the first to tag this record!