SAMBIN, GIOVANNI
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.316
EU - Europa 947
AS - Asia 944
SA - Sud America 180
AF - Africa 111
OC - Oceania 13
Continente sconosciuto - Info sul continente non disponibili 8
Totale 6.519
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.250
SG - Singapore 347
HK - Hong Kong 213
CN - Cina 162
IT - Italia 148
BR - Brasile 141
SE - Svezia 124
DE - Germania 100
UA - Ucraina 93
FI - Finlandia 85
VN - Vietnam 82
PL - Polonia 75
GB - Regno Unito 58
FR - Francia 52
NL - Olanda 34
RU - Federazione Russa 31
RO - Romania 21
JP - Giappone 16
GR - Grecia 14
ES - Italia 13
CA - Canada 12
AR - Argentina 10
AT - Austria 10
IE - Irlanda 10
AU - Australia 9
BE - Belgio 9
CY - Cipro 9
IR - Iran 9
ZA - Sudafrica 9
CH - Svizzera 8
PT - Portogallo 8
PY - Paraguay 8
TR - Turchia 8
AO - Angola 7
EE - Estonia 7
IN - India 7
KG - Kirghizistan 7
MX - Messico 7
AD - Andorra 6
BB - Barbados 6
CW - ???statistics.table.value.countryCode.CW??? 6
CZ - Repubblica Ceca 6
MU - Mauritius 6
PK - Pakistan 6
AE - Emirati Arabi Uniti 5
BD - Bangladesh 5
DK - Danimarca 5
DZ - Algeria 5
EC - Ecuador 5
EG - Egitto 5
ID - Indonesia 5
LC - Santa Lucia 5
LT - Lituania 5
NI - Nicaragua 5
PA - Panama 5
ZW - Zimbabwe 5
AL - Albania 4
AM - Armenia 4
CM - Camerun 4
GM - Gambi 4
KE - Kenya 4
KR - Corea 4
LA - Repubblica Popolare Democratica del Laos 4
MA - Marocco 4
MY - Malesia 4
NE - Niger 4
PS - Palestinian Territory 4
SA - Arabia Saudita 4
UG - Uganda 4
VE - Venezuela 4
YE - Yemen 4
AZ - Azerbaigian 3
BA - Bosnia-Erzegovina 3
BY - Bielorussia 3
CO - Colombia 3
CR - Costa Rica 3
DO - Repubblica Dominicana 3
GE - Georgia 3
GF - Guiana Francese 3
GH - Ghana 3
HN - Honduras 3
HU - Ungheria 3
IL - Israele 3
JO - Giordania 3
KZ - Kazakistan 3
LB - Libano 3
LY - Libia 3
ML - Mali 3
RE - Reunion 3
RS - Serbia 3
SN - Senegal 3
SY - Repubblica araba siriana 3
TN - Tunisia 3
UZ - Uzbekistan 3
BG - Bulgaria 2
BO - Bolivia 2
BW - Botswana 2
BZ - Belize 2
CD - Congo 2
CV - Capo Verde 2
Totale 6.450
Salva come PNG Salva come JPEG
Città #
Fairfield 566
Woodbridge 510
Ann Arbor 428
Houston 412
Jacksonville 384
Ashburn 241
Seattle 225
Singapore 214
Hong Kong 213
Santa Clara 212
Wilmington 212
Cambridge 182
Chandler 133
Princeton 109
Boardman 75
Bytom 69
Dong Ket 55
San Diego 49
Medford 38
Nanjing 31
Orange 30
Beijing 28
Helsinki 27
Padova 20
Ho Chi Minh City 17
Guangzhou 16
Roxbury 16
Horia 14
Padua 13
São Paulo 13
Des Moines 12
Hebei 12
Los Angeles 12
Paris 12
Norwalk 11
Rome 11
Nanchang 10
Dublin 9
Jinan 8
Amsterdam 7
Barcelona 7
Bishkek 7
Changsha 7
Falkenstein 7
London 7
Luanda 7
New York 7
Shenyang 7
Vienna 7
Andorra la Vella 6
Belo Horizonte 6
Bridgetown 6
Council Bluffs 6
Frankfurt am Main 6
Johannesburg 6
Karlsruhe 6
Auburn Hills 5
Castries 5
Hanoi 5
Harare 5
Jiaxing 5
Limassol 5
Managua 5
Milan 5
Palermo 5
Phoenix 5
Willemstad 5
Banjul 4
Brussels 4
Ciudad del Este 4
Kampala 4
Kyoto 4
Ottawa 4
Panama City 4
Prague 4
San Francisco 4
Santa Ana 4
Sydney 4
Tokyo 4
Accra 3
Amman 3
Anaheim 3
Baku 3
Bamako 3
Borås 3
Braga 3
Bucharest 3
Cairo 3
Cayenne 3
Dakar 3
Florence 3
Hefei 3
Kilburn 3
Milford 3
Minsk 3
Moscow 3
Nairobi 3
Niamey 3
Sant'Antimo 3
Stockholm 3
Totale 4.927
Salva come PNG Salva come JPEG
Nome #
The Basic Picture and Positive Topology. New structures for constructive mathematics 175
Embedding locales and formal topologies into positive topologies 160
A minimalist foundation at work 152
An incomplete system of modal logic 151
Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita 143
The overlap algebra of regular opens 137
Relational semantics of basic logic 134
Reducibility, a constructive dual of spatiality 134
Pretopologies and a uniform presentation of sup-lattices, quantales and frames 133
Doing without Turing machines: constructivism and formal topology 133
Editorial: Special issue on non-classical mathematics 132
Some points in formal topology 129
A preview of the basic picture: a new perspective in formal topology 125
A new and elementary method to represent every complete boolean algebra. 124
Why topology in the Minimalist Foundation must be pointfree 124
Intuitionistic formal spaces and their neighbourhood 123
Pretopologies and completeness proofs 122
Intuitionistic formal spaces - a first communication 122
Fixed points through the finite model property 121
A modal sequent calculus for a fragment of arithmetic 121
Formal topologies on the set of first order formulae 120
Post completeness and free algebras 120
Convergence in formal topology: a unifying notion 120
Provability: the emergence of a mathematical modality 117
A new proof of Sahlqvist's theorem on modal definability and completeness 116
A constructive Galois connection between closure and interior 115
Toward a minimalist foundation for constructive mathematics 113
Finiteness in a minimalist foundation 112
Finitary formal topologies and Stone's representation theorem 111
The modal logic of provability. The sequential approach 110
The basic Zariski topology 108
Inductively generated formal topologies 107
Topology and duality in modal logic 106
Aspetti topologici degli o-filtri (o-filtri II) 104
Constructive domain theory as a branch of intuitionistic pointfree topology 104
Formal topology and domains 103
An effective fixed-point theorem in intuitionistic diagonalizable algebras 98
Two applications of dynamic constructivism: Brouwer's continuity principle and choice sequences in formal topology 95
The semantics of pretopologies 92
Subdirectly irreducible modal algebras and initial frames. 90
Basic logic and the cube of its extensions. 88
Topology as Faithful Communication Through Relations 88
On the meaning of positivity relations for regular formal spaces 87
From basic logic to quantum logics with cut-elimination 83
Special issue Third Workshop on Formal Topology 81
Matematica costruttiva 81
Basic logic: reflection, symmetry, visibility 80
Steps towards a dynamic constructivism 79
Sui filtri di composizione il cui filtro associato è principale (o-filtri I) 76
Logica intuizionistica e logica classica a confronto 76
Building up a toolbox for Martin-Loef's type theory: subset theory 76
Costruttivismo, oltre i luoghi comuni 76
Real and ideal in constructive mathematics 75
Twenty-five years of constructive type theory. 74
Intuitionistic formal spaces vs. Scott domains 73
Reale e ideale in matematica 72
C for Constructivism. Beyond clichés 72
Dynamics in foundations: what does it mean in the practice of mathematics? 70
Un'estensione del teorema di Löb 59
Per una dinamica nei fondamenti (italian) 53
Incompletezza costruttiva 48
The principle of pointfree continuity 47
Special Issue Papers presented at the 2nd Workshop on Formal Topology (2WFTop 2002) 45
Molteplicità delle logiche e necessità delle traduzioni. Logica intuizionistica e logica classica a confronto. 33
Totale 6.548
Salva come PNG Salva come JPEG
Categoria #
all - tutte 19.940
article - articoli 12.609
book - libri 362
conference - conferenze 0
curatela - curatele 621
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.065
Totale 35.597
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021694 0 0 14 111 31 57 8 92 124 82 85 90
2021/2022681 17 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/2026556 79 354 123 0 0 0 0 0 0 0 0 0
Totale 6.548