TY  - RPRT
TI  - In Memory of Martin Davis
AU  - Wesley Calvert
AU  - Valentina Harizanov
AU  - Eugenio G. Omodeo
AU  - Alberto Policriti
AU  - Alexandra Shlapentokh
PY  - 2024
UR  - https://arxiv.org/abs/2401.10154
ID  - 2401.10154
ER  -