Della Vedova, Gianluca books & textbook
Unity of Logic and Computation: 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023, Proceedings (Lecture Notes in Computer Science)
Della Vedova, Gianluca Dundua, Besik Lempp, Steffen Manea, Florin
Springer /2023-07-19 Paperback / 352 Pages
isbn-10: 3031369777 / isbn-13: 9783031369773
Beyond the Horizon of Computability: 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29–July 3, 2020, Proceedings (Theoretical Computer Science and General Issues)
Anselmo, Marcella Della Vedova, Gianluca Manea, Florin Pauly, Arno
Springer /2020-06-24 Paperback / 420 Pages
isbn-10: 303051465X / isbn-13: 9783030514655
