Remarks on Sequent Calculus

Supervisor
Enrico Moriconi - Università di Pisa
Date and time
Wednesday, February 12, 2020 at 4:30 PM - Aula I
Programme Director
External reference
Publication date
January 20, 2020
Department
Computer Science  

Summary

Abstract: vedi allegato

Contact person: Peter Schuster






© 2002 - 2021  Verona University
Via dell'Artigliere 8, 37129 Verona  |  P. I.V.A. 01541040232  |  C. FISCALE 93009870234