BONACINA, ROBERTA
 Distribuzione geografica
Continente #
NA - Nord America 321
EU - Europa 173
AS - Asia 143
SA - Sud America 19
AF - Africa 1
Totale 657
Nazione #
US - Stati Uniti d'America 311
IT - Italia 75
SG - Singapore 53
CN - Cina 26
VN - Vietnam 26
SE - Svezia 19
DE - Germania 18
BR - Brasile 17
HK - Hong Kong 16
IE - Irlanda 15
UA - Ucraina 14
GB - Regno Unito 13
FR - Francia 7
CA - Canada 6
IN - India 5
MX - Messico 4
RU - Federazione Russa 4
TR - Turchia 4
JP - Giappone 3
KR - Corea 3
PL - Polonia 3
CL - Cile 2
IR - Iran 2
BD - Bangladesh 1
DK - Danimarca 1
ES - Italia 1
ET - Etiopia 1
HR - Croazia 1
ID - Indonesia 1
MY - Malesia 1
NL - Olanda 1
OM - Oman 1
PT - Portogallo 1
TW - Taiwan 1
Totale 657
Città #
Chandler 38
Milan 35
Singapore 29
Ashburn 28
San Jose 27
Fairfield 19
Hong Kong 16
Jacksonville 14
Nyköping 13
Woodbridge 13
Dublin 12
Seattle 12
Princeton 10
Los Angeles 9
Beijing 7
Boardman 7
Cambridge 7
Dong Ket 7
Houston 7
Wilmington 7
Ho Chi Minh City 6
The Dalles 6
Montreal 5
Munich 5
Orem 5
Cagliari 4
Dallas 4
New York 4
Rome 4
Chennai 3
Council Bluffs 3
Dearborn 3
Denver 3
Guangzhou 3
Hanoi 3
Lauterbourg 3
Mexico City 3
Ogden 3
Pearcy 3
Poplar 3
Redwood City 3
Stratford 3
Virginia Beach 3
Brooklyn 2
Dongjak-gu 2
Frankfurt am Main 2
Izmir 2
Jackson 2
London 2
Santa Clara 2
Shanghai 2
São Paulo 2
Tehran 2
Tokyo 2
Warsaw 2
Washington 2
Addis Ababa 1
Amsterdam 1
Ankara 1
Ann Arbor 1
Assis 1
Atlanta 1
Basingstoke 1
Berlin 1
Bologna 1
Braço do Norte 1
Buffalo 1
Campinas 1
Campo Grande 1
Canary Wharf 1
Caraguatatuba 1
Changsha 1
Chicago 1
Cirebon 1
Como 1
Da Nang 1
Fayetteville 1
Florence 1
Giussano 1
Goiânia 1
Iguape 1
Ilhéus 1
Istanbul 1
Jessore 1
Joinville 1
Kuala Lumpur 1
Kunming 1
Lajinha 1
Manchester 1
Mumbai 1
Muscat 1
Mölndal 1
New Delhi 1
Orlândia 1
Panguipulli 1
Philadelphia 1
Pineville 1
Qingdao 1
Rho 1
Saint-ouen 1
Totale 472
Nome #
Well quasi orders in a categorical setting 194
Semantics for Homotopy Type Theory 154
An Ad-Hoc Semantics to Study Structural Properties of Types 131
Natural Numbers in Homotopy Type Theory 95
A proof-theoretical semantics for homotopy type theory 90
Totale 664
Categoria #
all - tutte 2.515
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 2.515


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202115 0 0 0 0 0 0 0 0 0 4 4 7
2021/202252 9 3 4 1 12 0 4 1 5 6 2 5
2022/202386 5 9 9 4 9 18 0 12 11 4 4 1
2023/202485 9 11 9 16 16 9 0 4 3 0 0 8
2024/202595 3 6 13 5 8 6 4 2 13 7 4 24
2025/2026231 16 6 4 50 36 21 52 14 19 13 0 0
Totale 664