MAIETTI, MARIA EMILIA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.460
AS - Asia 613
EU - Europa 542
SA - Sud America 126
AF - Africa 67
Continente sconosciuto - Info sul continente non disponibili 4
OC - Oceania 4
Totale 3.816
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.417
SG - Singapore 267
IT - Italia 175
CN - Cina 107
HK - Hong Kong 101
BR - Brasile 94
DE - Germania 48
FI - Finlandia 48
PL - Polonia 46
VN - Vietnam 41
UA - Ucraina 36
FR - Francia 30
GB - Regno Unito 25
SE - Svezia 24
RU - Federazione Russa 23
NL - Olanda 15
JP - Giappone 9
ID - Indonesia 8
AR - Argentina 7
EE - Estonia 7
KR - Corea 7
PT - Portogallo 7
ZA - Sudafrica 7
CA - Canada 6
IE - Irlanda 6
IQ - Iraq 6
BO - Bolivia 5
CZ - Repubblica Ceca 5
EG - Egitto 5
IL - Israele 5
MU - Mauritius 5
TR - Turchia 5
AD - Andorra 4
AE - Emirati Arabi Uniti 4
AT - Austria 4
BA - Bosnia-Erzegovina 4
CH - Svizzera 4
CL - Cile 4
GR - Grecia 4
HT - Haiti 4
MW - Malawi 4
PE - Perù 4
YE - Yemen 4
YT - Mayotte 4
BB - Barbados 3
BF - Burkina Faso 3
BS - Bahamas 3
BZ - Belize 3
CW - ???statistics.table.value.countryCode.CW??? 3
DJ - Gibuti 3
EC - Ecuador 3
HN - Honduras 3
IR - Iran 3
KG - Kirghizistan 3
LB - Libano 3
MK - Macedonia 3
NC - Nuova Caledonia 3
NE - Niger 3
PS - Palestinian Territory 3
PY - Paraguay 3
RS - Serbia 3
SD - Sudan 3
TH - Thailandia 3
UZ - Uzbekistan 3
VC - Saint Vincent e Grenadine 3
VE - Venezuela 3
AL - Albania 2
AM - Armenia 2
AO - Angola 2
AZ - Azerbaigian 2
BD - Bangladesh 2
BE - Belgio 2
BW - Botswana 2
CI - Costa d'Avorio 2
CO - Colombia 2
CR - Costa Rica 2
CY - Cipro 2
DM - Dominica 2
DO - Repubblica Dominicana 2
ES - Italia 2
GA - Gabon 2
GH - Ghana 2
IN - India 2
JO - Giordania 2
KE - Kenya 2
ME - Montenegro 2
MR - Mauritania 2
MX - Messico 2
NA - Namibia 2
NP - Nepal 2
PA - Panama 2
PH - Filippine 2
PR - Porto Rico 2
TJ - Tagikistan 2
TW - Taiwan 2
TZ - Tanzania 2
AF - Afghanistan, Repubblica islamica di 1
BG - Bulgaria 1
BJ - Benin 1
BN - Brunei Darussalam 1
Totale 3.775
Salva come PNG Salva come JPEG
Città #
Fairfield 359
Ann Arbor 269
Woodbridge 266
Singapore 196
Houston 160
Ashburn 142
Santa Clara 142
Jacksonville 140
Cambridge 125
Wilmington 119
Seattle 108
Hong Kong 101
Chandler 96
Boardman 50
Princeton 48
San Diego 45
Padova 44
Bytom 43
Beijing 32
Dong Ket 28
Medford 27
Roxbury 24
Nanjing 19
Helsinki 17
Milan 16
Des Moines 15
London 11
Hebei 8
San Francisco 8
New York 7
Vigonza 7
Falkenstein 6
Indiana 6
Jiaxing 6
Karlsruhe 6
São Paulo 6
Council Bluffs 5
Dublin 5
Ho Chi Minh City 5
Norwalk 5
Shenyang 5
Tianjin 5
Andorra la Vella 4
Hanoi 4
Lima 4
Los Angeles 4
Ningbo 4
Nuremberg 4
Tallinn 4
Vienna 4
Amsterdam 3
Belo Horizonte 3
Bishkek 3
Bridgetown 3
Cairo 3
Faenza 3
Formosa 3
Genoa 3
Gothenburg 3
Hangzhou 3
Jakarta 3
Johannesburg 3
Kingstown 3
Leeds 3
Lilongwe 3
Moscow 3
Noumea 3
Phoenix 3
Port-au-Prince 3
Prague 3
Seoul 3
Tashkent 3
Tel Aviv 3
Willemstad 3
Yokohama 3
Zurich 3
Abidjan 2
Accra 2
Acton 2
Albaredo d'Adige 2
Amman 2
Atlanta 2
Baghdad 2
Baku 2
Bayamón 2
Belém 2
Birmingham 2
Bologna 2
Braga 2
Brasília 2
Buenos Aires 2
Campinas 2
Cape Town 2
Cherkasy 2
Cincinnati 2
Ciudad del Este 2
Codognè 2
Curitiba 2
Da Nang 2
Dar es Salaam 2
Totale 2.890
Salva come PNG Salva come JPEG
Nome #
Unifying exact completions 164
Consistency of the intensional level of the Minimalist Foundation with Church’s thesis and axiom of choice 164
Exponentiation of Scott formal topologies 152
About effective quotients in constructive type theory 147
Reflection into models of finite decidable FP-sketches in an arithmetic universe 143
Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita 142
Joyal's arithmetic universes via type theory 135
Triposes, exact completions, and Hilbert's ε-operator 133
An induction principle for consequence in arithmetic universes. 125
Why topology in the Minimalist Foundation must be pointfree 123
A minimalist two-level foundation for constructive mathematics 122
Convergence in formal topology: a unifying notion 118
Toward a minimalist foundation for constructive mathematics 113
Categorical models for intuitionistic and linear type theory 109
Relating Categorical Semantics for Intuitionistic Linear Logic 108
A structural investigation on formal topology: coreflection of formal covers and exponentiability 108
On choice rules in dependent type theory 107
Relating quotient completions via categorical logic. 106
Modular correspondence between dependent type theories and categorical universes including pretopoi and topoi 103
Quotient completion for the foundation of constructive mathematics 100
Constructive version of Boolean algebra 100
The internal type theory of an Heyting Pretopos. 96
Can you add power-sets to Martin-Loef intuitionistic set theory? 88
Joyal's arithmetic universe as list-arithmetic pretopos 81
Quotients over Minimal Type Theory 78
Some aspects of the categorical semantics for the polymorphic lambda calculus. 74
Elementary quotient completion 68
A predicative variant of Hyland's effective topos 65
A predicative variant of a realizability tripos for the Minimalist Foundation. 61
Handbook of Constructive Mathematics 59
An extensional Kleene realizability semantics for the Minimalist Foundation. 59
A realizability semantics for inductive formal topologies, church’s thesis and axiom of choice 59
INDUCTIVE AND COINDUCTIVE TOPOLOGICAL GENERATION WITH CHURCH’S THESIS AND THE AXIOM OF CHOICE 58
Teoria dei tipi di universi categoriali. 56
Predicative exponentiation of locally compact formal topologies over inductively generated ones 54
Elementary Quotient Completions, Church's Thesis, and Partitioned Assemblies 52
A topological counterpart of well-founded trees in dependent type theory 47
Equiconsistency of the Minimalist Foundation with its classical version 47
A characterization of generalized existential completions 45
Eserciziario di logica. Insiemi, metodi dimostrativi, logica proposizionale 38
Quotients, Pure existential completions and arithmetic universes 35
The Compatibility of the Minimalist Foundation with Homotopy Type Theory 35
Totale 3.877
Salva come PNG Salva come JPEG
Categoria #
all - tutte 13.255
article - articoli 7.893
book - libri 111
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.538
Totale 22.797
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021312 0 0 1 29 19 26 5 42 60 39 43 48
2021/2022473 23 73 76 19 19 25 30 36 22 9 56 85
2022/2023267 61 0 3 8 56 44 3 21 45 7 17 2
2023/2024174 4 26 34 11 4 10 3 10 14 17 14 27
2024/2025914 3 114 37 28 168 29 43 57 59 37 159 180
2025/2026385 60 263 62 0 0 0 0 0 0 0 0 0
Totale 3.877