Alessandro Berarducci - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 23 from 23

2024

Vector spaces with a union of independent subspacesAlessandro Berarducci, Marcello Mamino, Rosario Mennuni. AML, 63(3-4):499-507, May 2024. [doi]

2022

Asymptotic Analysis of Skolem's exponential FunctionsAlessandro Berarducci, Marcello Mamino. JSYML, 87(2):758-782, 2022. [doi]

2019

Cartan subgroups and regular points of o-minimal groupsElías Baro, Alessandro Berarducci, Margarita Otero. jlms, 100(2):361-382, 2019. [doi]

2011

On the homotopy type of definable groups in an o-minimal structureAlessandro Berarducci, Marcello Mamino. jlms, 83(3):563-586, 2011. [doi]

2009

Cohomology of groups in o-minimal structures: acyclicity of the infinitesimal subgroupAlessandro Berarducci. JSYML, 74(3):891-900, 2009. [doi]

O-Minimal Cohomology: Finiteness and invariance ResultsAlessandro Berarducci, Antongiulio Fornasiero. jml, 9(2), 2009. [doi]

2007

Corrigendum to: Transfer methods for o-minimal topology Alessandro Berarducci, Mário J. Edmundo, Margarita Otero. JSYML, 72(3):1079-1080, 2007. [doi]

O-minimal spectra, infinitesimal subgroups and cohomologyAlessandro Berarducci. JSYML, 72(4):1177-1193, 2007. [doi]

2005

A descending chain condition for groups definable in ::::o::::-minimal structuresAlessandro Berarducci, Margarita Otero, Ya acov Peterzil, Anand Pillay. APAL, 134(2-3):303-313, 2005. [doi]

2004

An effective version of Wilkie s theorem of the complement and some effective o-minimality resultsAlessandro Berarducci, Tamara Servi. APAL, 125(1-3):43-74, 2004. [doi]

2003

Transfer methods for o-minimal topologyAlessandro Berarducci, Margarita Otero. JSYML, 68(3):785-794, 2003.

2001

Intersection theory for 0-minimal manifoldsAlessandro Berarducci, Margarita Otero. APAL, 107(1-3):87-119, 2001.

General Recursion on Second Order Term AlgebrasAlessandro Berarducci, Corrado Böhm. RTA 2001: 15-30 [doi]

1999

Infinite lambda-Calculus and TypesAlessandro Berarducci, Mariangiola Dezani-Ciancaglini. TCS, 212(1-2):29-75, 1999. [doi]

1996

A Recursive Nonstandard Model of Normal Open InductionAlessandro Berarducci, Margarita Otero. JSYML, 61(4):1228-1241, 1996.

1995

Delta::0::-Complexity of the Relation y = /prod::i <= n:: F(i)Alessandro Berarducci, Paola D Aquino. APAL, 75(1-2):49-56, 1995.

1993

Some New Results on Easy lambda-TermsAlessandro Berarducci, Benedetto Intrigila. TCS, 121(1&2):71-88, 1993.

Generalizations of UnificationAlessandro Berarducci, Marisa Venturini Zilli. JSC, 16(5):479-491, 1993.

On the Provability Logic of Bounded ArithmeticAlessandro Berarducci, Rineke Verbrugge. APAL, 61(1-2):75-93, 1993.

1992

A Self-Interpreter of Lambda Calculus Having a Normal FormAlessandro Berarducci, Corrado Böhm. csl 1993: 85-99

1991

Combinatorial Principles in Elementary Number TheoryAlessandro Berarducci, Benedetto Intrigila. APAL, 55(1):35-50, 1991.

1990

The Interpretability Logic of Peano ArithmeticAlessandro Berarducci. JSYML, 55(3):1059-1089, 1990.

1985

Automatic Synthesis of Typed Lambda-Programs on Term AlgebrasCorrado Böhm, Alessandro Berarducci. TCS, 39:135-154, 1985.

Sign in or sign up to see more results.

runs on WebDSL