TIAN, CHUN
 Distribuzione geografica
Continente #
NA - Nord America 97
EU - Europa 63
AS - Asia 23
AF - Africa 3
Totale 186
Nazione #
US - Stati Uniti d'America 97
GB - Regno Unito 27
IT - Italia 10
CN - Cina 8
SG - Singapore 8
DE - Germania 7
IE - Irlanda 5
RU - Federazione Russa 5
IN - India 4
TR - Turchia 3
FI - Finlandia 2
HR - Croazia 2
SE - Svezia 2
TG - Togo 2
EE - Estonia 1
FR - Francia 1
NL - Olanda 1
ZA - Sudafrica 1
Totale 186
Città #
Southend 25
Chandler 19
Fairfield 15
Singapore 8
Woodbridge 8
Ashburn 6
Dublin 5
Houston 5
New York 4
Princeton 4
Ann Arbor 3
Bologna 3
Cambridge 3
Wilmington 3
Helsinki 2
Istanbul 2
Lomé 2
Medford 2
Nanjing 2
San Diego 2
Turin 2
Alblasserdam 1
Beijing 1
Camponogara 1
Des Moines 1
Fremont 1
Jinan 1
Kunming 1
London 1
Nanchang 1
Nanning 1
Norwalk 1
Novokuznetsk 1
Olalla 1
Saint Petersburg 1
San Francisco 1
Westminster 1
Totale 141
Nome #
Unique solutions of contractions, CCS, and their HOL formalisation 124
Unique solutions of contractions, CCS, and their HOL formalisation 71
Totale 195
Categoria #
all - tutte 533
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 533


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202041 0 0 0 3 6 6 5 7 6 5 3 0
2020/202128 2 1 1 0 0 3 0 1 14 1 2 3
2021/202241 3 6 1 1 6 1 1 2 0 2 9 9
2022/202351 7 8 1 7 4 6 1 3 9 2 2 1
2023/20249 0 2 0 0 0 4 3 0 0 0 0 0
2024/202512 0 8 4 0 0 0 0 0 0 0 0 0
Totale 195