Larese Costanza

Type B Postdoctoral Fellow

Contacts

Workplace

Via Festa del Perdono, 7
20122 MILANO (MI)

University email address
Research

Publications

Publications
  • Towards Depth-Bounded Natural Deduction for Classical First-order Logic / M. D'Agostino, C. Larese, S. Modgil. - In: THE IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS. - ISSN 2055-3706. - 8:2 (Special Issue)(2021 Mar), pp. 423-451.