Alessandro Berarducci

Alessandro Berarducci

Università di Pisa - Pisa / Italy
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 1874217
University of Pisa
person_outline Alessandro Berarducci's MOST POPULAR ARTICLES
1-) Automatic synthesis of typed λ-programs on term algebrasC Böhm, A BerarducciTheoretical Computer Science 39, 135-154, 19853191985
2-) On the cop number of a graphA Berarducci, B IntrigilaAdvances in Applied Mathematics 14 (4), 389-403, 19931421993
3-) The interpretability logic of Peano arithmeticA BerarducciThe Journal of Symbolic Logic 55 (3), 1059-1089, 19901061990
4-) Infinite λ-calculus and non-sensible modelsA BerarducciLogic and algebra, 339-377, 20171022017
5-) A descending chain condition for groups definable in o-minimal structuresA Berarducci, M Otero, A PillayAnnals of Pure and Applied Logic 134 (2-3), 303-313, 2005662005