Girardi, Marco
 Distribuzione geografica
Continente #
NA - Nord America 90
EU - Europa 81
AS - Asia 35
SA - Sud America 5
AF - Africa 3
OC - Oceania 3
Totale 217
Nazione #
US - Stati Uniti d'America 88
IT - Italia 31
SG - Singapore 14
CN - Cina 10
DE - Germania 10
RU - Federazione Russa 8
FR - Francia 7
BR - Brasile 5
FI - Finlandia 5
SE - Svezia 4
VN - Vietnam 4
AU - Australia 3
ES - Italia 3
NL - Olanda 3
PL - Polonia 3
BD - Bangladesh 2
BG - Bulgaria 2
GB - Regno Unito 2
LV - Lettonia 2
RE - Reunion 2
AZ - Azerbaigian 1
CA - Canada 1
HK - Hong Kong 1
HU - Ungheria 1
ID - Indonesia 1
IR - Iran 1
JP - Giappone 1
MX - Messico 1
ZA - Sudafrica 1
Totale 217
Città #
Chandler 19
Singapore 10
Trento 10
Ashburn 9
San Mateo 6
Munich 5
Santa Clara 5
Cagliari 4
Columbus 4
Princeton 4
Stockholm 4
Dallas 3
Florence 3
Hanoi 3
Krakow 3
Lappeenranta 3
Moscow 3
Rincon de la Victoria 3
Sydney 3
Amsterdam 2
Boardman 2
Helsinki 2
Milan 2
Naples 2
New York 2
Paris 2
Portland 2
Riga 2
Saint-Denis 2
Sofia 2
The Dalles 2
Verona 2
Andover 1
Baku 1
Beijing 1
Bolzano 1
Changsha 1
Concórdia 1
Council Bluffs 1
Curitiba 1
Fairfield 1
Gosheim 1
Grünwald 1
Guangzhou 1
Harker Heights 1
Ho Chi Minh City 1
Jakarta 1
Lauterbourg 1
London 1
Los Angeles 1
Mezzolombardo 1
Orléans 1
Pimenta Bueno 1
Querétaro 1
Rosebank 1
Rovereto 1
Shanghai 1
Sorocaba 1
São Paulo 1
Tehran 1
Tokyo 1
Toronto 1
Treviso 1
Vitry-sur-Seine 1
Washington 1
Totale 163
Nome #
Proof theoretical issues in Martin-Löf Type Theory and Homotopy Type Theory 135
A general syntax for nonrecursive higher inductive types 84
Totale 219
Categoria #
all - tutte 886
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 886


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211 0 0 0 0 0 0 0 1 0 0 0 0
2021/202216 0 2 0 0 0 0 0 7 0 1 0 6
2022/202344 7 8 0 3 3 7 0 8 3 1 2 2
2023/202448 4 1 10 2 6 11 0 4 0 2 1 7
2024/202558 4 1 4 9 3 11 2 4 3 12 5 0
2025/202652 3 3 9 16 16 5 0 0 0 0 0 0
Totale 219