This is a memorial tribute to the distinguished scholar Martin Davis, who gave outstanding contributions to the development of computability theory and of symbolic logic
In Memory of Martin Davis / Calvert, Wesley; Harizanov, Valentina; Omodeo, Eugenio; Policriti, Alberto; Shlapentokh, Alexandra. - In: NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY. - ISSN 0002-9920. - STAMPA. - 71:7(2024), pp. 898-907. [10.1090/noti2982]
In Memory of Martin Davis
Omodeo, Eugenio;
2024-01-01
Abstract
This is a memorial tribute to the distinguished scholar Martin Davis, who gave outstanding contributions to the development of computability theory and of symbolic logicFile in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
InMemoryOfMartinDavis.pdf
Accesso chiuso
Tipologia:
Documento in Versione Editoriale
Licenza:
Copyright Editore
Dimensione
1.06 MB
Formato
Adobe PDF
|
1.06 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
|
InMemoryOfMartinDavis-Post_print.pdf
accesso aperto
Tipologia:
Bozza finale post-referaggio (post-print)
Licenza:
Digital Rights Management non definito
Dimensione
1.45 MB
Formato
Adobe PDF
|
1.45 MB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
