IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

Proof Theory of Past, Present, and Future / B. Boretti. ((Intervento presentato al convegno La ricerca logica in Italia - Convegno in onore di Corrado Mangione tenutosi a Milano nel 2009.

Proof Theory of Past, Present, and Future

B. Boretti
Primo
2009
10-set-2009
Proof theory, temporal logic, decidability
Università degli Studi di Milano
Proof Theory of Past, Present, and Future / B. Boretti. ((Intervento presentato al convegno La ricerca logica in Italia - Convegno in onore di Corrado Mangione tenutosi a Milano nel 2009.
Conference Object
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2434/68196
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact