ASCHIERI, FEDERICO
 Distribuzione geografica
Continente #
NA - Nord America 153
EU - Europa 73
AS - Asia 43
Totale 269
Nazione #
US - Stati Uniti d'America 151
CN - Cina 20
SE - Svezia 16
IE - Irlanda 11
IT - Italia 11
FI - Finlandia 10
SG - Singapore 10
FR - Francia 8
KR - Corea 6
UA - Ucraina 6
DK - Danimarca 4
DE - Germania 3
JP - Giappone 3
VN - Vietnam 3
CA - Canada 2
PL - Polonia 2
GB - Regno Unito 1
GR - Grecia 1
ID - Indonesia 1
Totale 269
Città #
Ann Arbor 41
Santa Clara 13
Beijing 11
Dublin 11
Singapore 9
Jacksonville 7
Chandler 6
Medford 6
Nyköping 5
Princeton 5
Torino 5
Columbus 4
Houston 4
Pisa 4
Villeurbanne 4
Dong Ket 3
Ashburn 2
Boston 2
Mountain View 2
Nanjing 2
Toronto 2
Warsaw 2
Wilmington 2
Wuhan 2
Boardman 1
Dearborn 1
Hefei 1
Helsinki 1
Jakarta 1
Kunming 1
Ningbo 1
Norwalk 1
Pietra Ligure 1
Quzhou 1
Redmond 1
Saint Paul 1
San Mateo 1
Viterbo 1
Wenzhou 1
Totale 169
Nome #
Realizability and strong normalization for a curry-howard interpretation of HA + EM1 111
A Term Assignment for Polarized Bi-intuitionistic Logic and its Strong Normalization 69
Interactive Learning-Based Realizability Interpretation for Heyting Arithmetic with EM1 52
Interactive Learning-Based Realizability for Heyting Arithmetic with EM1 48
Totale 280
Categoria #
all - tutte 876
article - articoli 0
book - libri 0
conference - conferenze 468
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 1.344


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202015 0 0 0 0 0 1 10 1 0 1 2 0
2020/202163 4 0 0 1 5 7 9 8 9 10 6 4
2021/202243 0 1 1 0 4 0 7 2 0 4 13 11
2022/202331 5 1 0 0 4 15 3 0 0 0 3 0
2023/202410 0 3 1 0 1 0 0 0 0 0 3 2
2024/202533 1 7 3 5 17 0 0 0 0 0 0 0
Totale 280