Concepedia

Alessandro Berarducci

AB

23

Publications

827

Citations

15

H-Index

1985

Active since

Affiliations

University of Pisa(Current)

Universidad Autónoma de Madrid

University of Udine

Scuola Normale Superiore

University of L'Aquila

Alessandro Berarducci is an author at University of Pisa specializing in representation theory, education, and geometric group theory.

Top concepts

EducationRepresentation TheoryEngineeringFormal MethodsComputer ScienceAutomated ReasoningGeometric Group TheoryLinear GroupsTopological GroupsFunctional Analysis

Publications per year

1985–2017

23

Publications

23

Automatic synthesis of typed Λ-programs on term algebras

Corrado Böhm, Alessandro Berarducci · Theoretical Computer Science · 1985 · 230 citations

Engineering, Program Analysis, Automated Reasoning +6

On the Cop Number of a Graph

Alessandro Berarducci, Benedetto Intrigila · Advances in Applied Mathematics · 1993 · 106 citations

Cop Number, Graph Theory, Algebraic Graph Theory +6

The interpretability logic of Peano arithmetic

Alessandro Berarducci · Journal of Symbolic Logic · 1990 · 87 citations

Formal Logic, Abstract Pa, Formula Interp Pa +13

o-MINIMAL FUNDAMENTAL GROUP, HOMOLOGY AND MANIFOLDS

Alessandro Berarducci, Margarita Otero · Journal of the London Mathematical Society · 2002 · 39 citations

Geometric Group Theory, Global Geometry, Knot Theory +8

A descending chain condition for groups definable in <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" display="inline" overflow="scroll"><mml:mi>o</mml:mi></mml:math>-minimal structures

Alessandro Berarducci, Margarita Otero, Ya’acov Peterzil et al. · Annals of Pure and Applied Logic · 2005 · 38 citations

Math Xmlns, Abstract Algebra, Linear Groups +5

Rows per page

1–5 of 23