Tian, Chun
 Distribuzione geografica
Continente #
EU - Europa 40
NA - Nord America 13
AS - Asia 10
SA - Sud America 1
Totale 64
Nazione #
US - Stati Uniti d'America 13
IT - Italia 12
RU - Federazione Russa 11
NL - Olanda 4
CN - Cina 3
UA - Ucraina 3
DE - Germania 2
DK - Danimarca 2
IE - Irlanda 2
VN - Vietnam 2
AZ - Azerbaigian 1
CZ - Repubblica Ceca 1
FR - Francia 1
GR - Grecia 1
IN - India 1
KR - Corea 1
SE - Svezia 1
TR - Turchia 1
TW - Taiwan 1
VE - Venezuela 1
Totale 64
Città #
Ashburn 4
Trento 3
Bolzano 2
Campobasso 2
Dong Ket 2
Dublin 2
Moscow 2
Padova 2
San Diego 2
St Petersburg 2
Ann Arbor 1
Baku 1
Beijing 1
Bengaluru 1
Cambridge 1
Ermont 1
Frankfurt am Main 1
Gatchina 1
Istanbul 1
Lake Forest 1
Lit 1
Meihuaxu 1
Mestre 1
Mountain View 1
Norwalk 1
Nuremberg 1
Omsk 1
Redmond 1
Santa Lucia Di Piave 1
Seoul 1
Taipei 1
University Park 1
Wuhan 1
Totale 46
Nome #
Unique Solutions of Contractions, CCS, and their HOL Formalisation, file ddb241a5-5f42-ba8a-e053-3a05fe0afd55 33
Unique solutions of contractions, CCS, and their HOL formalisation, file ddb241a5-6cc2-ba8a-e053-3a05fe0afd55 32
Totale 65
Categoria #
all - tutte 247
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 247


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202110 0 2 1 2 0 0 0 1 0 3 0 1
2021/202218 0 0 1 0 2 2 0 0 1 1 4 7
2022/202315 2 3 1 0 0 1 0 0 2 0 3 3
2023/202418 7 0 7 0 1 3 0 0 0 0 0 0
Totale 65