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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202040 5 13 5 2 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/20251 1 0 0 0 0 0 0 0 0 0 0 0
Totale 248