עקוב אחר
Alessandro Berarducci
Alessandro Berarducci
Professor of Mathematics, University of Pisa
כתובת אימייל מאומתת בדומיין unipi.it - דף הבית
כותרת
צוטט על ידי
צוטט על ידי
שנה
Automatic synthesis of typed λ-programs on term algebras
C Böhm, A Berarducci
Theoretical Computer Science 39, 135-154, 1985
3451985
On the cop number of a graph
A Berarducci, B Intrigila
Advances in Applied mathematics 14 (4), 389-403, 1993
1561993
The interpretability logic of Peano arithmetic
A Berarducci
The Journal of Symbolic Logic 55 (3), 1059-1089, 1990
1131990
Infinite λ-calculus and non-sensible models
A Berarducci
Logic and algebra, 339-377, 2017
1032017
A descending chain condition for groups definable in o-minimal structures
A Berarducci, M Otero, A Pillay
Annals of Pure and Applied Logic 134 (2-3), 303-313, 2005
642005
Intersection theory for o-minimal manifolds
A Berarducci, M Otero
Annals of Pure and Applied Logic 107 (1-3), 87-119, 2001
502001
Surreal numbers, derivations and transseries
A Berarducci, V Mantova
Journal of the European Mathematical Society 20 (2), 339-390, 2018
432018
A self-interpreter of lambda calculus having a normal form
A Berarducci, C Böhm
International Workshop on Computer Science Logic, 85-99, 1992
411992
Combinatorial principles in elementary number theory
A Berarducci, B Intrigila
Annals of Pure and Applied Logic 55 (1), 35-50, 1991
401991
Some new results on easy lambda-terms
A Berarducci, B Intrigila
Theoretical Computer Science 121 (1-2), 71-88, 1993
391993
An effective version of Wilkie's theorem of the complement and some effective o-minimality results
A Berarducci, T Servi
Annals of Pure and Applied Logic 125 (1-3), 43-74, 2004
352004
Transfer methods for o-minimal topology
A Berarducci, M Otero
The Journal of Symbolic Logic 68 (3), 785-794, 2003
342003
O-minimal fundamental group, homology and manifolds
A Berarducci, M Otero
Journal of the London Mathematical Society 65 (2), 257-270, 2002
342002
Infinite λ-calculus and types
A Berarducci, M Dezani-Ciancaglini
Theoretical Computer Science 212 (1-2), 29-75, 1999
321999
An additive measure in o-minimal expansions of fields
A Berarducci, M Otero
Quarterly Journal of Mathematics 55 (4), 411-419, 2004
312004
Uniformly approachable functions and spaces
A Berarducci, D Dikran
Università degli Studi di Trieste. Dipartimento di Scienze Matematiche, 1994
311994
On the provability logic of bounded arithmetic
A Berarducci, R Verbrugge
Annals of Pure and Applied Logic 61 (1-2), 75-93, 1993
291993
Church-Rosser lambda-theories, Infinite lambda-terms and consistency problems
A Berarducci, B Intrigila
Logic: from Foundations to Applications, European logic colloquium, 33-58, 1996
251996
Transseries as germs of surreal functions
A Berarducci, V Mantova
Transactions of the American Mathematical Society 371 (5), 3549-3592, 2019
242019
A recursive nonstandard model of normal open induction
A Berarducci, M Otero
The Journal of Symbolic Logic 61 (4), 1228-1241, 1996
241996
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20