Remarks on Sequent Calculus

Relatore
Enrico Moriconi - Università di Pisa

Data
12-feb-2020 - Ora: 16:30 Aula I

Abstract: vedi allegato

Contact person: Peter Schuster

Data pubblicazione: 20-gen-2020
Dipartimento: Informatica

Abstract: IT | 93Kb | 20-gen-2020