STEILA, SILVIA
 Distribuzione geografica
Continente #
NA - Nord America 614
EU - Europa 289
AS - Asia 118
Totale 1.021
Nazione #
US - Stati Uniti d'America 612
DK - Danimarca 77
CN - Cina 75
IT - Italia 59
SE - Svezia 41
FR - Francia 24
IE - Irlanda 21
FI - Finlandia 18
GB - Regno Unito 14
JP - Giappone 12
DE - Germania 10
KR - Corea 10
VN - Vietnam 10
BE - Belgio 8
UA - Ucraina 7
PL - Polonia 6
SG - Singapore 6
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.021
Città #
Ann Arbor 292
Beijing 46
Fairfield 40
Wilmington 40
Torino 28
Dearborn 26
Guangzhou 24
Chandler 21
Dublin 21
Woodbridge 21
Houston 20
Ashburn 19
Villeurbanne 15
Seattle 14
Cambridge 11
Pisa 10
Medford 8
Nyköping 8
Brussels 7
Princeton 7
Warsaw 6
Dong Ket 4
Jacksonville 4
Boston 3
Helsinki 3
Padova 3
Redwood City 3
Singapore 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
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 746
Nome #
Ramsey's theorem for pairs and K colors as a sub-classical principle of arithmetic 302
An analysis of the Podelski–Rybalchenko termination theorem via bar recursion 241
An intuitionistic version of Ramsey Theorem and its use in Program Termination 155
Ramsey Theorem for Pairs As a Classical Principle in Intuitionistic Arithmetic 112
Ramsey Theorem as an Intuitionistic Property of Well Founded Relations 110
Proving termination of programs having transition invariants of height omega 98
GENERIC LARGE CARDINALS and SYSTEMS of FILTERS 32
Totale 1.050
Categoria #
all - tutte 2.159
article - articoli 0
book - libri 0
conference - conferenze 751
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 2.910


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020208 7 15 25 24 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
Totale 1.050