Foto del docente

Andrea Condoluci

Dottorando

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: INF/01 INFORMATICA

Pubblicazioni

  • 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]

Ultimi avvisi

Al momento non sono presenti avvisi.