Foto del docente

Andrea Condoluci

PhD Student

Department of Computer Science and Engineering

Teaching tutor

Department of Computer Science and Engineering

Academic discipline: INF/01 Informatics

Publications

  • Andrea Condoluci and Matteo Manighetti, Admissible Tools in the Kitchen of Intuitionistic Logic, Proceedings Seventh International Workshop on Classical Logic and Computation, CL&C 2018, July, 7, 2018 Oxford, UK. [https://doi.org/10.4204/EPTCS.281.2]
  • Andrea Condoluci, Michael Kohlhase, Dennis Müller, Florian Rabe, Claudio Sacerdoti Coen, and Makarius Wenzel, Relational Data Across Mathematical Libraries. CICM 2019: 61-76. [https://doi.org/10.1007/978-3-030-23250-4_5]
  • Andrea Condoluci, Beniamino Accattoli and Claudio Sacerdoti Coen, Sharing Equality is Linear, Proceedings of the 21th International Symposium on Principles and Practice of Declarative Programming, PPDP 2019, October, 7, 2019 Porto, Portugal. [ArXiv 1907.06101]
  • Beniamino Accattoli, Andrea Condoluci, Giulio Guerrieri and Claudio Sacerdoti Coen, Crumbling Abstract Machines, Proceedings of the 21th International Symposium on Principles and Practice of Declarative Programming, PPDP 2019, October, 7, 2019 Porto, Portugal. [ArXiv 1907.06057]

Latest news

At the moment no news are available.