Remarks on Sequent Calculus

Speaker
 Enrico Moriconi - Università di Pisa

Date
 Feb 12, 2020 - Time: 16:30 Aula I

Abstract: vedi allegato

Contact person: Peter Schuster

Data pubblicazione
Jan 20, 2020

Department
Computer Science

ATTACHMENTS

Abstract
IT | 93Kb | Jan 20, 2020