MAIETTI, MARIA EMILIA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.652
AS - Asia 841
EU - Europa 727
AF - Africa 253
SA - Sud America 210
OC - Oceania 29
Continente sconosciuto - Info sul continente non disponibili 12
Totale 4.724
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.512
SG - Singapore 309
IT - Italia 186
BR - Brasile 122
CN - Cina 111
HK - Hong Kong 105
VN - Vietnam 65
FI - Finlandia 52
PL - Polonia 50
DE - Germania 48
UA - Ucraina 44
FR - Francia 36
SE - Svezia 31
GB - Regno Unito 26
RU - Federazione Russa 26
NL - Olanda 23
JP - Giappone 16
EE - Estonia 15
CL - Cile 14
EC - Ecuador 14
PT - Portogallo 14
AR - Argentina 13
PY - Paraguay 13
BA - Bosnia-Erzegovina 12
ID - Indonesia 12
KR - Corea 12
PS - Palestinian Territory 12
ZA - Sudafrica 12
CG - Congo 11
HT - Haiti 11
LB - Libano 11
MK - Macedonia 11
YE - Yemen 11
AE - Emirati Arabi Uniti 10
CZ - Repubblica Ceca 10
DO - Repubblica Dominicana 10
EG - Egitto 10
HN - Honduras 10
IQ - Iraq 10
KG - Kirghizistan 10
NC - Nuova Caledonia 10
TN - Tunisia 10
TR - Turchia 10
TZ - Tanzania 10
VC - Saint Vincent e Grenadine 10
AT - Austria 9
BE - Belgio 9
CA - Canada 9
HR - Croazia 9
KE - Kenya 9
MG - Madagascar 9
SD - Sudan 9
BB - Barbados 8
BO - Bolivia 8
CH - Svizzera 8
DJ - Gibuti 8
GN - Guinea 8
IE - Irlanda 8
MU - Mauritius 8
TH - Thailandia 8
VE - Venezuela 8
YT - Mayotte 8
AF - Afghanistan, Repubblica islamica di 7
AO - Angola 7
AU - Australia 7
AZ - Azerbaigian 7
BF - Burkina Faso 7
BS - Bahamas 7
CI - Costa d'Avorio 7
CR - Costa Rica 7
CU - Cuba 7
CW - ???statistics.table.value.countryCode.CW??? 7
DZ - Algeria 7
ES - Italia 7
GR - Grecia 7
IL - Israele 7
JM - Giamaica 7
JO - Giordania 7
KZ - Kazakistan 7
LY - Libia 7
MR - Mauritania 7
NI - Nicaragua 7
PA - Panama 7
PE - Perù 7
PR - Porto Rico 7
RO - Romania 7
SI - Slovenia 7
SK - Slovacchia (Repubblica Slovacca) 7
SN - Senegal 7
SO - Somalia 7
TJ - Tagikistan 7
UZ - Uzbekistan 7
AD - Andorra 6
AM - Armenia 6
BG - Bulgaria 6
BZ - Belize 6
CD - Congo 6
GA - Gabon 6
GM - Gambi 6
HU - Ungheria 6
Totale 4.481
Salva come PNG Salva come JPEG
Città #
Fairfield 359
Ann Arbor 269
Woodbridge 266
Singapore 225
Houston 160
Ashburn 153
Santa Clara 142
Jacksonville 140
Cambridge 125
Wilmington 119
Seattle 108
Hong Kong 102
Chandler 96
Boardman 50
Princeton 48
San Diego 45
Bytom 44
Padova 44
Beijing 32
Dong Ket 28
Medford 27
Roxbury 24
Nanjing 19
Chicago 18
Helsinki 17
Milan 17
Los Angeles 16
Des Moines 15
Ho Chi Minh City 14
London 11
Kingstown 10
Noumea 10
Tallinn 10
Antananarivo 9
Bishkek 9
New York 9
Port-au-Prince 9
Salt Lake City 9
Conakry 8
Hebei 8
Nairobi 8
San Francisco 8
São Paulo 8
Abidjan 7
Amman 7
Amsterdam 7
Baku 7
Brazzaville 7
Bridgetown 7
Dakar 7
Dar es Salaam 7
Dublin 7
Dushanbe 7
Hanoi 7
Havana 7
Khartoum 7
Managua 7
Panama City 7
Vienna 7
Vigonza 7
Andorra la Vella 6
Djibouti 6
Falkenstein 6
Guayaquil 6
Indiana 6
Jiaxing 6
Kampala 6
Karlsruhe 6
Kingston 6
Libreville 6
Luanda 6
Nouakchott 6
San José 6
Tashkent 6
Tripoli 6
Bamako 5
Brussels 5
Buffalo 5
Cairo 5
Ciudad del Este 5
Cotonou 5
Council Bluffs 5
Da Nang 5
Kinshasa 5
Lima 5
Lisbon 5
Nassau 5
Norwalk 5
Phnom Penh 5
Prague 5
Riga 5
San Pedro Sula 5
Shenyang 5
Tianjin 5
Vientiane 5
Willemstad 5
Yerevan 5
Accra 4
Asunción 4
Banjul 4
Totale 3.179
Salva come PNG Salva come JPEG
Nome #
Consistency of the intensional level of the Minimalist Foundation with Church’s thesis and axiom of choice 188
Unifying exact completions 183
Joyal's arithmetic universes via type theory 171
Reflection into models of finite decidable FP-sketches in an arithmetic universe 169
Exponentiation of Scott formal topologies 168
Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita 165
About effective quotients in constructive type theory 163
An induction principle for consequence in arithmetic universes. 151
Triposes, exact completions, and Hilbert's ε-operator 150
A minimalist two-level foundation for constructive mathematics 144
Why topology in the Minimalist Foundation must be pointfree 139
Toward a minimalist foundation for constructive mathematics 138
A structural investigation on formal topology: coreflection of formal covers and exponentiability 137
Relating Categorical Semantics for Intuitionistic Linear Logic 136
Modular correspondence between dependent type theories and categorical universes including pretopoi and topoi 133
Categorical models for intuitionistic and linear type theory 129
On choice rules in dependent type theory 126
Quotient completion for the foundation of constructive mathematics 125
Convergence in formal topology: a unifying notion 125
Relating quotient completions via categorical logic. 121
Constructive version of Boolean algebra 114
The internal type theory of an Heyting Pretopos. 113
Can you add power-sets to Martin-Loef intuitionistic set theory? 106
A realizability semantics for inductive formal topologies, church’s thesis and axiom of choice 101
Joyal's arithmetic universe as list-arithmetic pretopos 93
Elementary quotient completion 93
A predicative variant of Hyland's effective topos 93
INDUCTIVE AND COINDUCTIVE TOPOLOGICAL GENERATION WITH CHURCH’S THESIS AND THE AXIOM OF CHOICE 90
Some aspects of the categorical semantics for the polymorphic lambda calculus. 88
Quotients over Minimal Type Theory 82
A characterization of generalized existential completions 81
Elementary Quotient Completions, Church's Thesis, and Partitioned Assemblies 79
An extensional Kleene realizability semantics for the Minimalist Foundation. 78
A predicative variant of a realizability tripos for the Minimalist Foundation. 74
Teoria dei tipi di universi categoriali. 70
Handbook of Constructive Mathematics 69
Predicative exponentiation of locally compact formal topologies over inductively generated ones 69
The Compatibility of the Minimalist Foundation with Homotopy Type Theory 69
Equiconsistency of the Minimalist Foundation with its classical version 66
Quotients, Pure existential completions and arithmetic universes 62
A topological counterpart of well-founded trees in dependent type theory 57
Eserciziario di logica. Insiemi, metodi dimostrativi, logica proposizionale 52
Preface to the special issue for the 75th birthday of Dieter Spreen 16
Preface: Advances in Homotopy Type Theory 11
Totale 4.787
Salva come PNG Salva come JPEG
Categoria #
all - tutte 14.783
article - articoli 8.897
book - libri 139
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.697
Totale 25.516
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021311 0 0 0 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/20261.295 60 263 480 492 0 0 0 0 0 0 0 0
Totale 4.787