Remarks on Sequent Calculus

  1. Home
  2. Teaching
  3. Seminars
Speaker:  Enrico Moriconi - Università di Pisa
  Wednesday, February 12, 2020 at 4:30 PM Aula I

Abstract: vedi allegato

Contact person: Peter Schuster
Title Format  (Language, Size, Publication date)
Abstract  pdfpdf (it, 91 KB, 20/01/20)
Programme Director
External reference
Publication date
January 20, 2020

Studying

Share