CARRARO, ALBERTO
 Distribuzione geografica
Continente #
NA - Nord America 1.241
EU - Europa 1.019
AS - Asia 225
SA - Sud America 11
Totale 2.496
Nazione #
US - Stati Uniti d'America 1.238
PL - Polonia 717
CN - Cina 126
IT - Italia 102
UA - Ucraina 40
DE - Germania 39
SG - Singapore 34
FI - Finlandia 31
HK - Hong Kong 30
IE - Irlanda 28
GB - Regno Unito 17
SE - Svezia 15
ID - Indonesia 12
BE - Belgio 11
TR - Turchia 11
BR - Brasile 10
RU - Federazione Russa 9
NL - Olanda 5
VN - Vietnam 3
CA - Canada 2
PK - Pakistan 2
RO - Romania 2
UZ - Uzbekistan 2
AE - Emirati Arabi Uniti 1
AT - Austria 1
BD - Bangladesh 1
CH - Svizzera 1
CO - Colombia 1
CR - Costa Rica 1
GR - Grecia 1
IN - India 1
JP - Giappone 1
LB - Libano 1
Totale 2.496
Città #
Warsaw 710
Woodbridge 540
Chandler 102
Ann Arbor 78
Fairfield 78
Jacksonville 71
Houston 40
Ashburn 37
Seattle 37
Cambridge 32
Hong Kong 30
Mestre 29
Dublin 28
Wilmington 28
Boardman 21
Venice 18
Nanjing 15
Singapore 15
Shenyang 14
Venezia 13
Andover 12
Jakarta 12
Jinan 12
Brussels 11
Izmir 10
Beijing 9
Boston 8
Dearborn 8
Guangzhou 8
Taizhou 8
Mülheim 7
Polska 7
Princeton 7
Tianjin 7
Changsha 5
Council Bluffs 5
Hebei 5
Jiaxing 5
Redwood City 5
San Mateo 5
Altamura 4
Nanchang 4
Phoenix 4
Zhengzhou 4
Castelfranco Veneto 3
Dong Ket 3
Haikou 3
Hangzhou 3
Helsinki 3
Milan 3
Saint Petersburg 3
Bologna 2
Chieri 2
Ciampino 2
Des Moines 2
Karlsruhe 2
Kunming 2
Los Angeles 2
New York 2
Ningbo 2
San Francisco 2
Alexandria 1
Atlanta 1
Auburn Hills 1
Biella 1
Brasília 1
Brooklyn 1
Brusque 1
Chennai 1
Chioggia 1
Chongqing 1
Clearwater 1
Crotone 1
Curitiba 1
Dalian 1
Dallas 1
Dubai 1
Etobicoke 1
Frankfurt Am Main 1
Fuzhou 1
Gorizia 1
Guarujá 1
Hefei 1
Heraklion 1
Hounslow 1
Itaquaquecetuba 1
Jinhua 1
Krasnodar 1
Lahore 1
Lanzhou 1
Leawood 1
London 1
Ludwigshafen 1
Matão 1
Ottawa 1
Peshawar 1
Pudsey 1
Qingdao 1
Quanzhou 1
Rio de Janeiro 1
Totale 2.188
Nome #
Easy lambda-terms are not always simple 454
Minimal lambda-theories by ultraproducts 422
Ordered models of the lambda calculus 390
On linear information systems 362
The stack calculus 337
On the equational consistency of order-theoretic models of the lambda-calculus 335
A graph easy set of mute lambda terms 211
Totale 2.511
Categoria #
all - tutte 5.232
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 5.232


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202017 0 0 0 0 0 0 0 0 0 0 0 17
2020/2021406 26 18 29 29 44 25 48 28 20 36 48 55
2021/2022524 61 29 8 87 65 2 12 6 1 22 206 25
2022/2023229 14 24 1 28 34 59 3 25 29 2 9 1
2023/202446 5 3 0 1 7 2 0 0 14 0 2 12
2024/2025113 0 9 11 14 2 6 28 11 10 4 17 1
Totale 2.511