Logic-based program synthesis and transformation 34th international symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024 : proceedings

This book constitutes the refereed proceedings of the 34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024, held in Milan, Italy, during September 9–10, 2024. The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from...

Ausführliche Beschreibung

Bibliographische Detailangaben

Körperschaft:	International Symposium on Logic-Based Program Synthesis and Transformation (VerfasserIn)
Weitere Verfasser:	Bowles, Juliana (HerausgeberIn), Søndergaard, Harald (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2024
Schriftenreihe:	Lecture notes in computer science 14919
Schlagworte:	Computer science. > Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!