Logica Lineare: verso una logica delle prove

  1. Home
  2. Research
  3. Projects
  4. Logica Lineare: verso una logica delle prove
Starting date
May 1, 2002
Duration (months)
24
Departments
Computer Science
Managers or local contacts
Masini Andrea

Sponsors:

Ministero dell'Istruzione dell'Università e della Ricerca
Funds: assigned and managed by the department

Project participants

Andrea Masini
Full Professor

Activities

Research areas

Research groups

PhD Programmes

Research facilities

Share