VALENTINI, SILVIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.209
AS - Asia 1.833
EU - Europa 793
AF - Africa 311
SA - Sud America 276
OC - Oceania 39
Continente sconosciuto - Info sul continente non disponibili 28
Totale 7.489
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.048
SG - Singapore 567
VN - Vietnam 326
HK - Hong Kong 226
CN - Cina 194
BR - Brasile 169
IT - Italia 113
FR - Francia 86
BD - Bangladesh 77
UA - Ucraina 76
FI - Finlandia 73
DE - Germania 58
IN - India 49
SE - Svezia 45
TR - Turchia 40
GB - Regno Unito 39
PL - Polonia 35
RU - Federazione Russa 34
BJ - Benin 26
IQ - Iraq 26
ID - Indonesia 24
PH - Filippine 21
PK - Pakistan 20
AT - Austria 16
LB - Libano 16
NL - Olanda 16
CA - Canada 15
VE - Venezuela 15
ZA - Sudafrica 15
AR - Argentina 14
SA - Arabia Saudita 14
BE - Belgio 13
GT - Guatemala 13
IL - Israele 13
KE - Kenya 13
KG - Kirghizistan 13
KH - Cambogia 13
MX - Messico 13
TJ - Tagikistan 13
AE - Emirati Arabi Uniti 12
ES - Italia 12
GF - Guiana Francese 12
RE - Reunion 12
TW - Taiwan 12
CD - Congo 11
CO - Colombia 11
CR - Costa Rica 11
DO - Repubblica Dominicana 11
GM - Gambi 11
IE - Irlanda 11
JM - Giamaica 11
KR - Corea 11
MZ - Mozambico 11
NP - Nepal 11
PE - Perù 11
PS - Palestinian Territory 11
RO - Romania 11
AZ - Azerbaigian 10
CL - Cile 10
CY - Cipro 10
EC - Ecuador 10
IR - Iran 10
PY - Paraguay 10
UZ - Uzbekistan 10
XK - ???statistics.table.value.countryCode.XK??? 10
AO - Angola 9
BA - Bosnia-Erzegovina 9
BB - Barbados 9
CI - Costa d'Avorio 9
CV - Capo Verde 9
DZ - Algeria 9
ET - Etiopia 9
GA - Gabon 9
LV - Lettonia 9
LY - Libia 9
MA - Marocco 9
NC - Nuova Caledonia 9
NI - Nicaragua 9
NZ - Nuova Zelanda 9
RS - Serbia 9
BF - Burkina Faso 8
CG - Congo 8
EE - Estonia 8
EG - Egitto 8
HN - Honduras 8
HU - Ungheria 8
KZ - Kazakistan 8
LA - Repubblica Popolare Democratica del Laos 8
ME - Montenegro 8
MU - Mauritius 8
MY - Malesia 8
SN - Senegal 8
SO - Somalia 8
TN - Tunisia 8
AL - Albania 7
AM - Armenia 7
AU - Australia 7
BO - Bolivia 7
CH - Svizzera 7
CW - ???statistics.table.value.countryCode.CW??? 7
Totale 7.169
Salva come PNG Salva come JPEG
Città #
Woodbridge 470
Ann Arbor 440
San Jose 391
Fairfield 384
Singapore 338
Houston 320
Jacksonville 288
Ashburn 281
Hong Kong 209
Santa Clara 164
Cambridge 154
Wilmington 150
Seattle 141
Princeton 102
Chandler 94
Ho Chi Minh City 80
Dong Ket 79
Boardman 59
Hanoi 53
Los Angeles 50
San Diego 46
Lauterbourg 38
Beijing 35
Bytom 30
Cotonou 25
Helsinki 24
Rome 24
Nanjing 23
New York 19
Des Moines 18
São Paulo 17
Buffalo 16
Chicago 15
Da Nang 15
Baghdad 14
Vienna 13
Bishkek 12
Dushanbe 12
Faenza 12
Istanbul 12
London 11
Nairobi 11
Norwalk 11
Baku 10
Kinshasa 10
Medford 10
Milan 10
Phnom Penh 10
Abidjan 9
Addis Ababa 9
Banjul 9
Bridgetown 9
Dublin 9
Guatemala City 9
Libreville 9
Managua 9
Noumea 9
Tashkent 9
Brussels 8
Dakar 8
Haiphong 8
Lahore 8
Maputo 8
Praia 8
Riga 8
Biên Hòa 7
Brazzaville 7
Castries 7
Cayenne 7
Kingston 7
Manila 7
Nanchang 7
Niamey 7
Pristina 7
Redondo Beach 7
Rio de Janeiro 7
San José 7
Tel Aviv 7
Ulan Bator 7
Vientiane 7
Amsterdam 6
Andorra la Vella 6
Antananarivo 6
Auckland 6
Jakarta 6
Jeddah 6
Miami 6
Montevideo 6
Padua 6
Panama City 6
Podgorica 6
Reykjavik 6
Santo Domingo 6
Shenyang 6
Willemstad 6
Yerevan 6
Amman 5
Bamako 5
Boston 5
Budapest 5
Totale 5.117
Salva come PNG Salva come JPEG
Nome #
An intuitionistic theory of types with assumptions of high-arity variables 248
Exponentiation of Scott formal topologies 236
Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita 233
Independence results in formal topology 232
Every countably presented formal topology is spatial, classically 214
Cantor theorem and friends, in logical form 205
A structural investigation on formal topology: coreflection of formal covers and exponentiability 203
The problem of the formalization of constructive topology 201
An elementary proof of strong normalization for intersection types 196
Representation Theorems for Quantales 195
A binary modal logic for the intersection types of lambda-calculus 193
A syntactic proof of cut-elimination for GL_lin 189
Relative formal topology, namely, the binary positivity predicate comes first 186
The judgement calculus for Intuitionistic Linear Logic: proof theory and semantics 185
Inductively generated formal topologies 185
Constructive characterizations of bar subsets 182
A general method to prove the normalization theorem for first and second order typed lambda-calculi 182
The modal logic of provability. The sequential approach 181
OBJECTS A Study in Kantian Formal Epistemology 181
Extensionality versus Constructivity 180
Decidability in Intuitionistic Type Theory is functionally decidable 179
Krivine's intuitionistic proof of classical completeness (for countable languages) 178
An intuitionistic version of Cantor's theorem 167
A Strong Normalization Condition for Pure Type System 163
General Recursion and Formal Topology 162
Post completeness and free algebras 162
On the formal points of the formal topology of the binary tree 162
Constructive domain theory as a branch of intuitionistic pointfree topology 161
A modal sequent calculus for a fragment of arithmetic 161
Vagueness, Kant and Topology 160
Local computation in linear logic 157
Tychonoff's theorem in the framework of formal topologies 157
A proof of the normal form theorem for the closed terms of Girard's System F 150
The sequent calculus for the modal logic D 138
Points and co-points in formal topology 137
Spatiality and classical logic 137
Can you add power-sets to Martin-Loef intuitionistic set theory? 134
A cartesian closed category in Martin-Loef's intuitionistic type theory 124
On the decidability of the equality theory of symply typed lambda calculi 123
Building up a tool-box for Martin-Loef intuitionistic type theory 119
Il teorema di Arrow: un punto di vista logico 117
The forget-restore principle: a paradigmatic example 113
Building up a toolbox for Martin-Loef's type theory: subset theory 112
A note on a straightforward proof of normal form theorem for symply typed lambda-calculi 109
Totale 7.489
Salva come PNG Salva come JPEG
Categoria #
all - tutte 21.721
article - articoli 18.582
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 414
Totale 40.717
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022493 0 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/20263.193 49 212 550 501 303 106 393 386 287 182 83 141
2026/202785 83 2 0 0 0 0 0 0 0 0 0 0
Totale 7.489