STEILA, SILVIA
 Distribuzione geografica
Continente #
NA - Nord America 653
EU - Europa 292
AS - Asia 126
Totale 1.071
Nazione #
US - Stati Uniti d'America 651
DK - Danimarca 77
CN - Cina 75
IT - Italia 59
SE - Svezia 41
FR - Francia 24
IE - Irlanda 21
FI - Finlandia 20
GB - Regno Unito 14
JP - Giappone 12
DE - Germania 11
SG - Singapore 11
KR - Corea 10
VN - Vietnam 10
BE - Belgio 8
UA - Ucraina 7
PL - Polonia 6
ID - Indonesia 3
CA - Canada 2
HK - Hong Kong 2
IN - India 2
BG - Bulgaria 1
IR - Iran 1
NL - Olanda 1
NO - Norvegia 1
RU - Federazione Russa 1
Totale 1.071
Città #
Ann Arbor 292
Beijing 46
Fairfield 40
Wilmington 40
Torino 28
Dearborn 26
Guangzhou 24
Chandler 21
Dublin 21
Santa Clara 21
Woodbridge 21
Houston 20
Ashburn 19
Villeurbanne 15
Seattle 14
Cambridge 11
Pisa 10
Medford 8
Nyköping 8
Singapore 8
Brussels 7
Columbus 7
Princeton 7
Warsaw 6
Helsinki 5
Dong Ket 4
Jacksonville 4
Boston 3
Jakarta 3
Padova 3
Redwood City 3
Coimbatore 2
Hong Kong 2
Karlsruhe 2
Leinì 2
Naples 2
New York 2
Norwalk 2
San Mateo 2
Wayne 2
Beinasco 1
Boardman 1
Bremen 1
Changsha 1
Dallas 1
Des Moines 1
Kunming 1
Leesburg 1
Lincoln 1
Lons-le-saunier 1
Ludwigshafen 1
Mountain View 1
Phoenix 1
Salt Lake City 1
San Diego 1
Shenyang 1
Simi Valley 1
Sofia 1
Stavanger 1
Toronto 1
Werl 1
Ürümqi 1
Totale 785
Nome #
Ramsey's theorem for pairs and K colors as a sub-classical principle of arithmetic 310
An analysis of the Podelski–Rybalchenko termination theorem via bar recursion 248
An intuitionistic version of Ramsey Theorem and its use in Program Termination 162
Ramsey Theorem for Pairs As a Classical Principle in Intuitionistic Arithmetic 117
Ramsey Theorem as an Intuitionistic Property of Well Founded Relations 116
Proving termination of programs having transition invariants of height omega 104
GENERIC LARGE CARDINALS and SYSTEMS of FILTERS 43
Totale 1.100
Categoria #
all - tutte 2.371
article - articoli 0
book - libri 0
conference - conferenze 830
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 3.201


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020137 0 0 0 0 12 28 20 14 21 16 15 11
2020/2021369 15 7 8 14 32 43 44 45 43 57 42 19
2021/2022139 10 12 10 14 4 10 18 6 5 10 26 14
2022/202385 8 1 1 5 10 28 8 7 14 0 2 1
2023/202436 1 7 3 3 2 3 5 0 0 2 6 4
2024/202550 0 4 4 8 34 0 0 0 0 0 0 0
Totale 1.100