BONACINA, ROBERTA
 Distribuzione geografica
Continente #
NA - Nord America 341
EU - Europa 175
AS - Asia 145
SA - Sud America 19
Continente sconosciuto - Info sul continente non disponibili 7
AF - Africa 1
Totale 688
Nazione #
US - Stati Uniti d'America 331
IT - Italia 75
SG - Singapore 54
CN - Cina 26
VN - Vietnam 26
SE - Svezia 21
DE - Germania 18
BR - Brasile 17
HK - Hong Kong 17
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 681
Città #
Chandler 38
Milan 35
San Jose 29
Singapore 29
Ashburn 28
Fairfield 19
Hong Kong 17
Jacksonville 14
Council Bluffs 13
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
New York 5
Orem 5
Cagliari 4
Dallas 4
Denver 4
Rome 4
Chennai 3
Dearborn 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
Apex 1
Assis 1
Atlanta 1
Basingstoke 1
Berlin 1
Blairstown 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
Totale 487
Nome #
Well quasi orders in a categorical setting 196
Semantics for Homotopy Type Theory 168
An Ad-Hoc Semantics to Study Structural Properties of Types 134
Natural Numbers in Homotopy Type Theory 97
A proof-theoretical semantics for homotopy type theory 93
Totale 688
Categoria #
all - tutte 2.799
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.799


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202243 0 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/2026240 16 6 4 50 36 21 52 14 19 17 3 2
2026/202715 2 13 0 0 0 0 0 0 0 0 0 0
Totale 688