VALENTINI, SILVIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.346
AS - Asia 756
EU - Europa 559
AF - Africa 163
SA - Sud America 150
OC - Oceania 29
Continente sconosciuto - Info sul continente non disponibili 12
Totale 5.015
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.257
SG - Singapore 239
HK - Hong Kong 162
VN - Vietnam 109
BR - Brasile 106
UA - Ucraina 73
CN - Cina 68
FI - Finlandia 65
IT - Italia 53
DE - Germania 52
SE - Svezia 42
FR - Francia 35
PL - Polonia 35
GB - Regno Unito 33
RU - Federazione Russa 30
TR - Turchia 16
NL - Olanda 13
CA - Canada 11
KG - Kirghizistan 10
GM - Gambi 9
ID - Indonesia 9
KE - Kenya 9
KH - Cambogia 9
RO - Romania 9
AT - Austria 8
BE - Belgio 8
CY - Cipro 8
GT - Guatemala 8
IN - India 8
RE - Reunion 8
TW - Taiwan 8
VE - Venezuela 8
CH - Svizzera 7
EE - Estonia 7
IE - Irlanda 7
LA - Repubblica Popolare Democratica del Laos 7
LB - Libano 7
LY - Libia 7
MA - Marocco 7
MZ - Mozambico 7
NC - Nuova Caledonia 7
SO - Somalia 7
ZA - Sudafrica 7
AD - Andorra 6
AE - Emirati Arabi Uniti 6
AR - Argentina 6
AU - Australia 6
DO - Repubblica Dominicana 6
ES - Italia 6
GF - Guiana Francese 6
IL - Israele 6
IR - Iran 6
KZ - Kazakistan 6
NZ - Nuova Zelanda 6
TZ - Tanzania 6
UZ - Uzbekistan 6
XK - ???statistics.table.value.countryCode.XK??? 6
AO - Angola 5
BB - Barbados 5
CD - Congo 5
CR - Costa Rica 5
CV - Capo Verde 5
CW - ???statistics.table.value.countryCode.CW??? 5
DK - Danimarca 5
DZ - Algeria 5
GA - Gabon 5
GP - Guadalupe 5
IS - Islanda 5
LV - Lettonia 5
ML - Mali 5
MN - Mongolia 5
MU - Mauritius 5
MX - Messico 5
NI - Nicaragua 5
PE - Perù 5
PG - Papua Nuova Guinea 5
PR - Porto Rico 5
RS - Serbia 5
TJ - Tagikistan 5
TT - Trinidad e Tobago 5
AM - Armenia 4
BA - Bosnia-Erzegovina 4
BF - Burkina Faso 4
BW - Botswana 4
CZ - Repubblica Ceca 4
EC - Ecuador 4
EG - Egitto 4
GR - Grecia 4
HU - Ungheria 4
IQ - Iraq 4
LC - Santa Lucia 4
MY - Malesia 4
PH - Filippine 4
PK - Pakistan 4
SA - Arabia Saudita 4
SI - Slovenia 4
SK - Slovacchia (Repubblica Slovacca) 4
SN - Senegal 4
VC - Saint Vincent e Grenadine 4
YE - Yemen 4
Totale 4.874
Salva come PNG Salva come JPEG
Città #
Woodbridge 470
Ann Arbor 440
Fairfield 384
Houston 320
Jacksonville 288
Singapore 163
Hong Kong 158
Cambridge 154
Ashburn 148
Wilmington 148
Santa Clara 144
Seattle 140
Princeton 102
Chandler 94
Dong Ket 79
Boardman 59
San Diego 45
Bytom 30
Nanjing 23
Rome 20
Helsinki 19
Beijing 13
Buffalo 13
Los Angeles 13
Des Moines 12
Faenza 12
Norwalk 11
Ho Chi Minh City 10
London 10
Medford 10
Bishkek 9
São Paulo 9
Nairobi 8
Vienna 8
Banjul 7
Dublin 7
Guatemala City 7
Hanoi 7
Nanchang 7
Noumea 7
Phnom Penh 7
Andorra la Vella 6
Chicago 6
Istanbul 6
Shenyang 6
Vientiane 6
Amsterdam 5
Auckland 5
Bridgetown 5
Brussels 5
Dushanbe 5
Hebei 5
Jiaxing 5
Kinshasa 5
Libreville 5
Managua 5
Maputo 5
Padua 5
Praia 5
Redondo Beach 5
Riga 5
Tashkent 5
Ulan Bator 5
Castries 4
Cayenne 4
Dakar 4
Dar es Salaam 4
Hargeisa 4
Kingstown 4
Kuala Lumpur 4
Limassol 4
Luanda 4
New York 4
Port Louis 4
Port Moresby 4
Pristina 4
Reykjavik 4
Rio de Janeiro 4
Santo Domingo 4
Tallinn 4
Toronto 4
Warsaw 4
Willemstad 4
Abu Dhabi 3
Apia 3
Baghdad 3
Baku 3
Bamako 3
Boston 3
Brazzaville 3
Brooklyn 3
Budapest 3
Conakry 3
Horia 3
Humacao 3
Jakarta 3
Kigali 3
Kingston 3
Maitengwe 3
Monmouth Junction 3
Totale 3.861
Salva come PNG Salva come JPEG
Nome #
Exponentiation of Scott formal topologies 162
Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita 150
A syntactic proof of cut-elimination for GL_lin 143
Representation Theorems for Quantales 142
An intuitionistic theory of types with assumptions of high-arity variables 141
Cantor theorem and friends, in logical form 138
Independence results in formal topology 137
Post completeness and free algebras 137
Every countably presented formal topology is spatial, classically 136
A modal sequent calculus for a fragment of arithmetic 134
Constructive characterizations of bar subsets 132
Decidability in Intuitionistic Type Theory is functionally decidable 125
A structural investigation on formal topology: coreflection of formal covers and exponentiability 123
On the formal points of the formal topology of the binary tree 123
The judgement calculus for Intuitionistic Linear Logic: proof theory and semantics 122
A binary modal logic for the intersection types of lambda-calculus 122
Relative formal topology, namely, the binary positivity predicate comes first 121
Inductively generated formal topologies 120
OBJECTS A Study in Kantian Formal Epistemology 119
A proof of the normal form theorem for the closed terms of Girard's System F 118
The modal logic of provability. The sequential approach 117
Tychonoff's theorem in the framework of formal topologies 117
An elementary proof of strong normalization for intersection types 116
The problem of the formalization of constructive topology 114
Constructive domain theory as a branch of intuitionistic pointfree topology 113
Krivine's intuitionistic proof of classical completeness (for countable languages) 112
An intuitionistic version of Cantor's theorem 109
A Strong Normalization Condition for Pure Type System 108
Local computation in linear logic 106
A general method to prove the normalization theorem for first and second order typed lambda-calculi 106
Points and co-points in formal topology 104
The sequent calculus for the modal logic D 104
Extensionality versus Constructivity 104
General Recursion and Formal Topology 100
Vagueness, Kant and Topology 96
Can you add power-sets to Martin-Loef intuitionistic set theory? 96
On the decidability of the equality theory of symply typed lambda calculi 91
Building up a tool-box for Martin-Loef intuitionistic type theory 90
The forget-restore principle: a paradigmatic example 89
Spatiality and classical logic 88
Building up a toolbox for Martin-Loef's type theory: subset theory 80
A note on a straightforward proof of normal form theorem for symply typed lambda-calculi 79
Il teorema di Arrow: un punto di vista logico 75
A cartesian closed category in Martin-Loef's intuitionistic type theory 66
Totale 5.025
Salva come PNG Salva come JPEG
Categoria #
all - tutte 16.392
article - articoli 14.043
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 298
Totale 30.733
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021450 0 0 0 45 12 42 13 62 75 23 73 105
2021/2022507 14 65 80 30 18 19 29 45 27 7 83 90
2022/2023290 91 0 1 19 56 39 0 24 39 1 16 4
2023/202497 9 16 6 11 2 1 2 0 1 6 22 21
2024/2025803 0 65 32 10 180 40 21 35 49 37 184 150
2025/2026814 49 212 550 3 0 0 0 0 0 0 0 0
Totale 5.025