General logic

  1. Home
  2. Ricerca
  3. Aree di ricerca
  4. General logic
Margherita Zorzi
Professore associato
Competenze
Argomento Persone Descrizione
Teoria delle dimostrazioni, logica lineare e teoria dei tipi Margherita Zorzi
Calcoli sequenziali per logiche modali, lineari e temporali. Sistemi di deduzione naturale per logiche modali, lineari e temporali. Sistemi deduttivi etichettati. Sistemi dei tipi per CPS. Reti di dimostrazione per logiche lineari e classiche. Sistemi deduttivi per computabilità quantistica.

Attività

Aree di ricerca

Gruppi di ricerca

Dottorati di Ricerca

Strutture

Condividi