Alessandro Berarducci
Author
Alternate names Alessandro Berarducci, A. Berarducci
Institution University of Pisa
Past institutions University of Pisa, Scuola Normale Superiore, RWTH Aachen University, McMaster University, University of Chicago +5 more
ORCID: Yes
H-index: 17
I10-index: 27
Works count: 101
Citations count: 1,088
Automatic synthesis of typed Λ-programs on term algebras
1985 · Corrado Böhm, Alessandro Berarducci · Theoretical Computer Science
On the Cop Number of a Graph
1993 · Alessandro Berarducci, Benedetto Intrigila · Advances in Applied Mathematics
The interpretability logic of Peano arithmetic
1990 · Alessandro Berarducci · Journal of Symbolic Logic