Advances in contemporary logic and computer science: proceedings of the Eleventh Brazilian Conference …
by D'Ottaviano, Itala M. L., Carnielli, Walter A., (Walter Alexandre), Brazilian Conference on Mathematical Logic, Salvador (Brazil))
fromContemporary mathematics (American Mathematical Society)
Advances in contemporary logic and computer science: proceedings of the Eleventh Brazilian Conference …
by D'Ottaviano, Itala M. L., Carnielli, Walter A., (Walter Alexandre), Brazilian Conference on Mathematical Logic, Salvador (Brazil))
fromContemporary mathematics (American Mathematical Society)
Advances in contemporary logic and computer science: proceedings of the Eleventh Brazilian Conference …
by D'Ottaviano, Itala M. L., Carnielli, Walter A., (Walter Alexandre), Brazilian Conference on Mathematical Logic, Salvador (Brazil))
fromContemporary mathematics (American Mathematical Society)
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 tot…
Computer safety, reliability, and security: SAFECOMP 2022 Workshops : DECSoS, DepDevOps, SASS…
by Schoitsch, Erwin, Bitsch, Friedemann, SAFECOMP (Conference), Munich, Germany), Trapp, Mario, Guiochet, Jérémie, DECSoS (Workshop), Munich, Germany), DepDevOps (Workshop), Munich, Germany), SASSUR (Workshop), Munich, Germany), SENSEI (Workshop), Munich, Germany), USDAI (Workshop), Munich, Germany), WAISE (Workshop), Munich, Germany)
fromLecture Notes in Computer Science
This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2022, which took place in Munich, Germany, in September 2022. The 23 full papers included in this volume were carefully reviewed and selected from 27 submissions. 17th International ERCIM/EW…
This book constitutes the proceedings of the 8th International Symposium on Model-Based Safety and Assessment, IMBSA 2022, held in Munich, Germany, in September 2022. The 15 revised full papers and 3 short papers presented were carefully reviewed and selected from 27 initial sub…
This book constitutes selected papers from the refereed proceedings of the 14th International Workshop on Rewriting Logic and Its Applications, WRLA 2022, held in Munich, Germany, in April 2022. The 9 full papers included in this book were carefully reviewed and selected from 13…
