Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings (Lecture Notes in Computer Science, Band 13290) - Softcover

 
9783030988685: Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings (Lecture Notes in Computer Science, Band 13290)
Softcover
ISBN 10: 3030988686 ISBN 13: 9783030988685
Verlag: Springer, 2022

Inhaltsangabe

This book constitutes the refereed proceedings of the 31st International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2021, which was held during September 7-8, 2021.*

The 8 papers presented in this volume were carefully reviewed and selected from a total of 15 reviewed submissions. Additionally, the book also contains 1 full-length invited talk.

*Conference was held as a hybrid event due to the COVID-19 pandemic.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2022
Sprache
Englisch
ISBN 10 
3030988686
ISBN 13 
9783030988685
Einband
Taschenbuch
Auflage
1
Anzahl der Seiten
188
Herausgeber
De Angelis Emanuele, Vanhoof Wim
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland