SAMBIN, GIOVANNI
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.605
AS - Asia 2.476
EU - Europa 1.357
AF - Africa 434
SA - Sud America 373
Continente sconosciuto - Info sul continente non disponibili 52
OC - Oceania 43
Totale 10.340
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.381
SG - Singapore 792
CN - Cina 396
VN - Vietnam 337
HK - Hong Kong 292
BR - Brasile 232
IT - Italia 208
SE - Svezia 132
FR - Francia 119
UA - Ucraina 106
DE - Germania 104
FI - Finlandia 99
PL - Polonia 92
BD - Bangladesh 75
GB - Regno Unito 74
IN - India 73
JP - Giappone 46
NL - Olanda 45
BJ - Benin 41
RU - Federazione Russa 41
CA - Canada 39
TR - Turchia 35
IQ - Iraq 34
AR - Argentina 30
PK - Pakistan 30
ID - Indonesia 28
ES - Italia 26
RO - Romania 26
PH - Filippine 25
PY - Paraguay 23
ZA - Sudafrica 23
MX - Messico 22
AT - Austria 21
GR - Grecia 21
EC - Ecuador 20
CY - Cipro 19
IE - Irlanda 17
MY - Malesia 17
PT - Portogallo 17
SA - Arabia Saudita 17
CZ - Repubblica Ceca 16
ET - Etiopia 16
JO - Giordania 16
AU - Australia 15
AZ - Azerbaigian 15
KG - Kirghizistan 15
PA - Panama 15
SN - Senegal 15
TN - Tunisia 15
UZ - Uzbekistan 15
AL - Albania 14
LU - Lussemburgo 14
PS - Palestinian Territory 14
CO - Colombia 13
CV - Capo Verde 13
DO - Repubblica Dominicana 13
DZ - Algeria 13
GE - Georgia 13
KR - Corea 13
KZ - Kazakistan 13
MN - Mongolia 13
PE - Perù 13
ZW - Zimbabwe 13
AE - Emirati Arabi Uniti 12
HN - Honduras 12
IR - Iran 12
JM - Giamaica 12
MU - Mauritius 12
NI - Nicaragua 12
RE - Reunion 12
SO - Somalia 12
TH - Thailandia 12
AD - Andorra 11
CG - Congo 11
CH - Svizzera 11
CW - ???statistics.table.value.countryCode.CW??? 11
DJ - Gibuti 11
GM - Gambi 11
GT - Guatemala 11
HR - Croazia 11
IL - Israele 11
MA - Marocco 11
MD - Moldavia 11
MR - Mauritania 11
MZ - Mozambico 11
NP - Nepal 11
SY - Repubblica araba siriana 11
UG - Uganda 11
VE - Venezuela 11
XK - ???statistics.table.value.countryCode.XK??? 11
YE - Yemen 11
AO - Angola 10
BE - Belgio 10
CI - Costa d'Avorio 10
CR - Costa Rica 10
HU - Ungheria 10
LB - Libano 10
LV - Lettonia 10
RS - Serbia 10
UY - Uruguay 10
Totale 9.907
Salva come PNG Salva come JPEG
Città #
Fairfield 566
San Jose 543
Woodbridge 510
Singapore 456
Ann Arbor 428
Ashburn 426
Houston 415
Jacksonville 384
Hong Kong 267
Seattle 227
Santa Clara 225
Wilmington 212
Cambridge 182
Chandler 133
Princeton 109
Ho Chi Minh City 100
Boardman 77
Hanoi 73
Bytom 70
Beijing 59
Los Angeles 56
Dong Ket 55
Lauterbourg 55
San Diego 49
Cotonou 40
Medford 38
Helsinki 36
Buffalo 32
Nanjing 31
Orange 30
New York 26
Padua 25
London 24
Redondo Beach 24
São Paulo 22
Guangzhou 20
Padova 20
Des Moines 17
Rome 17
Baghdad 16
Roxbury 16
Council Bluffs 15
Dakar 15
Addis Ababa 14
Amman 14
Dublin 14
Horia 14
Panama City 14
Paris 14
Vienna 14
Bishkek 13
Chicago 13
Da Nang 13
Ulan Bator 13
Warsaw 13
Baku 12
Hebei 12
Kyoto 12
Lahore 12
Managua 12
Norwalk 12
Tashkent 12
Amsterdam 11
Andorra la Vella 11
Johannesburg 11
Luxembourg 11
Tokyo 11
Abidjan 10
Haiphong 10
Harare 10
Kampala 10
Limassol 10
Luanda 10
Montevideo 10
Nanchang 10
Nouakchott 10
Orem 10
Praia 10
Bamako 9
Bridgetown 9
Changsha 9
Djibouti 9
Guatemala City 9
Istanbul 9
Kingstown 9
Kuala Lumpur 9
Lima 9
Prague 9
Tunis 9
Willemstad 9
Antananarivo 8
Atlanta 8
Belo Horizonte 8
George Town 8
Jinan 8
Kigali 8
Kingston 8
Maputo 8
New Delhi 8
Phoenix 8
Totale 6.741
Salva come PNG Salva come JPEG
Nome #
Embedding locales and formal topologies into positive topologies 309
The Basic Picture and Positive Topology. New structures for constructive mathematics 267
Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita 233
The overlap algebra of regular opens 225
An incomplete system of modal logic 220
A minimalist foundation at work 216
Reducibility, a constructive dual of spatiality 212
Pretopologies and a uniform presentation of sup-lattices, quantales and frames 203
Toward a minimalist foundation for constructive mathematics 203
Finitary formal topologies and Stone's representation theorem 203
Relational semantics of basic logic 199
Editorial: Special issue on non-classical mathematics 198
Convergence in formal topology: a unifying notion 197
Some points in formal topology 192
Why topology in the Minimalist Foundation must be pointfree 188
Doing without Turing machines: constructivism and formal topology 186
Inductively generated formal topologies 185
A constructive Galois connection between closure and interior 184
An effective fixed-point theorem in intuitionistic diagonalizable algebras 183
The modal logic of provability. The sequential approach 182
The principle of pointfree continuity 180
The basic Zariski topology 178
A new and elementary method to represent every complete boolean algebra. 177
Finiteness in a minimalist foundation 173
Formal topology and domains 170
Fixed points through the finite model property - the algebraization of the theories which express Theor; XI 168
A new proof of Sahlqvist's theorem on modal definability and completeness 168
Formal topologies on the set of first order formulae 167
Provability: the emergence of a mathematical modality 165
Intuitionistic formal spaces - a first communication 164
Post completeness and free algebras 162
Constructive domain theory as a branch of intuitionistic pointfree topology 161
A modal sequent calculus for a fragment of arithmetic 161
Topology as Faithful Communication Through Relations 158
Intuitionistic formal spaces and their neighbourhood 157
Two applications of dynamic constructivism: Brouwer's continuity principle and choice sequences in formal topology 151
A preview of the basic picture: a new perspective in formal topology 149
Pretopologies and completeness proofs 146
Special issue Third Workshop on Formal Topology 146
Aspetti topologici degli o-filtri (o-filtri II) 144
Matematica costruttiva 142
On the meaning of positivity relations for regular formal spaces 139
Dynamics in foundations: what does it mean in the practice of mathematics? 138
Basic logic: reflection, symmetry, visibility 137
Subdirectly irreducible modal algebras and initial frames. 136
The semantics of pretopologies 134
Logica intuizionistica e logica classica a confronto 134
Topology and duality in modal logic 130
Costruttivismo, oltre i luoghi comuni 130
C for Constructivism. Beyond clichés 130
Steps towards a dynamic constructivism 128
Basic logic and the cube of its extensions. 128
Real and ideal in constructive mathematics 123
Reale e ideale in matematica 122
From basic logic to quantum logics with cut-elimination 120
Incompletezza costruttiva 115
Twenty-five years of constructive type theory. 113
Building up a toolbox for Martin-Loef's type theory: subset theory 112
Intuitionistic formal spaces vs. Scott domains 110
Sui filtri di composizione il cui filtro associato è principale (o-filtri I) 109
Special Issue Papers presented at the 2nd Workshop on Formal Topology (2WFTop 2002) 105
Un'estensione del teorema di Löb 104
Per una dinamica nei fondamenti (italian) 92
Molteplicità delle logiche e necessità delle traduzioni. Logica intuizionistica e logica classica a confronto. 79
Totale 10.340
Salva come PNG Salva come JPEG
Categoria #
all - tutte 28.049
article - articoli 17.633
book - libri 534
conference - conferenze 0
curatela - curatele 872
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 3.120
Totale 50.208
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022664 0 84 90 83 36 11 24 74 39 8 97 118
2022/2023404 119 0 2 28 70 51 1 32 59 2 25 15
2023/2024191 18 27 9 11 12 2 7 6 13 7 45 34
2024/20251.365 10 93 45 43 279 41 38 85 84 58 307 282
2025/20264.183 79 354 645 698 375 172 416 520 445 240 161 78
2026/2027165 142 23 0 0 0 0 0 0 0 0 0 0
Totale 10.340