Remarks on Sequent Calculus

Speaker:  Enrico Moriconi - Università di Pisa
  Wednesday, February 12, 2020 at 4:30 PM Aula I

Abstract: vedi allegato

Contact person: Peter Schuster

Documents
Title Format  (Language, Size, Publication date)
Abstract  pdfpdf (it, 91 KB, 20/01/20)

Programme Director

Publication date
January 20, 2020

Studying