Författare: Gianluca Della Vedova

This book constitutes the proceedings of the 16th Conference on Computability in Europe, Ci E 2020, which was planned to be held in Fisciano, Italy, during June 29 until July 3, 2020. The conference …

This book constitutes the refereed proceedings of the 19th International Conference on Unity of Logic and Computation, Ci E 2023, held in Batumi, Georgia, during July 24-28, 2023. The 23 full papers …