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 metadati presenti in AIR sono rilasciati con licenza CCO mentre i file delle pubblicazioni sono rilasciati con licenza CC BY-SA, salvo diversa indicazione. In caso di violazione di copyright, contattare l'assistenza di AIR

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
  • OpenAlex ND
social impact