SALIBRA, Antonino
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 9.801
EU - Europa 5.350
AS - Asia 4.044
SA - Sud America 267
Continente sconosciuto - Info sul continente non disponibili 229
AF - Africa 33
OC - Oceania 5
Totale 19.729
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 9.704
PL - Polonia 2.669
CN - Cina 1.648
SG - Singapore 1.077
IT - Italia 623
DE - Germania 410
HK - Hong Kong 321
VN - Vietnam 320
UA - Ucraina 296
FI - Finlandia 276
IE - Irlanda 273
SE - Svezia 227
BR - Brasile 219
GB - Regno Unito 183
IN - India 131
JP - Giappone 125
TR - Turchia 121
KR - Corea 118
FR - Francia 99
RU - Federazione Russa 86
BA - Bosnia-Erzegovina 74
CA - Canada 51
ID - Indonesia 42
AT - Austria 34
BE - Belgio 23
BD - Bangladesh 21
MX - Messico 19
AR - Argentina 18
ES - Italia 18
IQ - Iraq 18
NL - Olanda 18
PH - Filippine 13
PK - Pakistan 13
CL - Cile 10
CH - Svizzera 9
IR - Iran 9
TW - Taiwan 9
JM - Giamaica 8
RO - Romania 8
HN - Honduras 7
LB - Libano 7
TH - Thailandia 7
UZ - Uzbekistan 7
AE - Emirati Arabi Uniti 6
CR - Costa Rica 6
KE - Kenya 6
SA - Arabia Saudita 6
ZA - Sudafrica 6
OM - Oman 5
CO - Colombia 4
EC - Ecuador 4
EU - Europa 4
GR - Grecia 4
JO - Giordania 4
MA - Marocco 4
SK - Slovacchia (Repubblica Slovacca) 4
UY - Uruguay 4
VE - Venezuela 4
BG - Bulgaria 3
BY - Bielorussia 3
EG - Egitto 3
ET - Etiopia 3
IL - Israele 3
NP - Nepal 3
TN - Tunisia 3
AU - Australia 2
AZ - Azerbaigian 2
DO - Repubblica Dominicana 2
KW - Kuwait 2
LT - Lituania 2
NZ - Nuova Zelanda 2
PE - Perù 2
PY - Paraguay 2
SV - El Salvador 2
AF - Afghanistan, Repubblica islamica di 1
AL - Albania 1
AO - Angola 1
BJ - Benin 1
BS - Bahamas 1
CG - Congo 1
DK - Danimarca 1
DZ - Algeria 1
EE - Estonia 1
GM - Gambi 1
HR - Croazia 1
HU - Ungheria 1
KG - Kirghizistan 1
KZ - Kazakistan 1
LV - Lettonia 1
LY - Libia 1
ME - Montenegro 1
ML - Mali 1
MM - Myanmar 1
MT - Malta 1
MY - Malesia 1
NG - Nigeria 1
PG - Papua Nuova Guinea 1
PS - Palestinian Territory 1
TT - Trinidad e Tobago 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 19.505
Salva come PNG Salva come JPEG
Città #
Warsaw 2.651
Woodbridge 2.284
Ann Arbor 652
Fairfield 639
Houston 618
Jacksonville 608
Chandler 577
Ashburn 528
Singapore 490
Council Bluffs 355
San Jose 329
Hong Kong 310
Seattle 309
Dublin 272
Dallas 267
Wilmington 263
Cambridge 220
Nanjing 178
Boardman 150
Hefei 134
Beijing 123
Mestre 114
Des Moines 113
Dearborn 112
Izmir 111
Seoul 110
Andover 108
Shenyang 105
Guangzhou 103
Ho Chi Minh City 102
Jinan 99
Bengaluru 82
Boston 80
Sarajevo 74
New York 69
Mülheim 67
Princeton 67
Tokyo 67
Venice 66
Hebei 61
Venezia 60
Lauterbourg 58
Hanoi 57
Los Angeles 57
Changsha 55
San Mateo 55
Jiaxing 51
Tianjin 50
Nanchang 48
Hangzhou 43
Columbus 42
Frankfurt am Main 42
Milan 40
Santa Clara 40
Taiyuan 39
Zhengzhou 39
Taizhou 38
Jakarta 36
Altamura 31
Redwood City 30
Fuzhou 27
Haikou 26
Ningbo 26
São Paulo 25
Buffalo 24
San Diego 24
Brussels 23
Helsinki 22
Saint Petersburg 21
Phoenix 20
Shanghai 18
Vienna 18
San Paolo di Civitate 17
Karlsruhe 16
Dong Ket 15
Brooklyn 14
Berlin 13
Da Nang 13
Toronto 13
Verona 13
Montreal 12
Orem 12
The Dalles 12
London 11
Atlanta 10
Kunming 10
Latiano 9
Padova 9
Auburn Hills 8
Chennai 8
Chicago 8
Lanzhou 8
Moscow 8
Nuremberg 8
Orange 8
Philadelphia 8
Qingdao 8
Rio de Janeiro 8
Belo Horizonte 7
Castelfranco Veneto 7
Totale 15.145
Salva come PNG Salva come JPEG
Nome #
Factor Varieties and Symbolic Computation 682
Boolean like algebras 587
Boolean product representations of algebras via binary polynomials 576
Easy lambda-terms are not always simple 549
Graph easy sets of mute lambda terms 507
Minimal lambda-theories by ultraproducts 481
Factor Varieties 470
Ordered models of the lambda calculus 459
Applying Universal Algebra to Lambda Calculus 448
Boolean-like-algebras 445
On linear information systems 427
Exponentials with infinite multiplicities 413
Scott is always simple 403
On the equational consistency of order-theoretic models of the lambda-calculus 402
Topological incompleteness and order incompleteness of the lambda calculus 401
The stack calculus 394
Resource Combinatory Algebras 348
A reduction scema by pre-institution transformations 339
The connection of skew Boolean algebras and discriminator varieties to Church algebras 321
BOOLEAN-LIKE ALGEBRAS OF FINITE DIMENSION 321
Lattices of equational theories as Church algebras 317
A soft stairway to institutions 308
Reflexive domains are not complete for the extensional lambda calculus 302
A continuum of theories of lambda calculus without semantics 301
A finite equational axiomatization of the functional algebras for the lambda calculus 299
A representation theorem for lambda abstraction algebras 297
Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets 291
Introducing equational type logic 290
A graph easy set of mute lambda terms 282
Boolean algebras for lambda calculus 275
The sensible graph theories of lambda calculus 269
First-order theories as many-sorted algebras 266
A note on absolutely unorderable combinatory algebras 263
Dimension-complemented lambda abstraction algebras 262
The abstract variable-binding calculus 250
DELTA: a deduction system integrating equational logic and type assignment 250
Algebra universale e logica in computer science 249
Lambda theories of effective lambda models 245
Equational type logic 244
The minimal graph model of lambda calculus 243
Polyadic algebras over non-classical logics 243
On Noncommutative Generalisations of Boolean Algebras 235
Lambda Abstraction algebras: representation theorems 234
Towards lambda calculus order-incompleteness 227
A general theory of algebras with quantifiers 227
Equational calculi for many-sorted algebras with empty carrier sets 223
On the algebraic models of lambda calculus 218
Lambda abstraction algebras: coordinatizing models of lambda calculus 208
Compactness and Lowenheim-Skolem properties in pre-institution categories 207
On the expressiveness of equational type logic 206
On the nature of TELLUS 202
On the power of equational calculus: applications and extensions. 200
Easiness in graph models 198
Una nota sui gruppoidi topologici 196
Lambda calculus: models and theories 196
On categorical frames, universal algebra and Boolean algebras with operators in a category 187
The lattice of lambda theories 184
Universal Algebraic Semantics 183
Introduction to lambda abstraction algebras 176
Nonmodularity results for lambda calculus 169
On semi-boolean-like algebras 169
From Lambda Calculus to Universal Algebra and Back 168
Logica del Primo Ordine 168
Interpolation and compacteness in categories of preinstitutions 165
Effective lambda models versus recursively enumerable lambda theories 161
The variety of lambda abstraction algebras does not admit n-permutable congruences for all n 157
Graph Lambda Theories 146
Totale 19.729
Salva come PNG Salva come JPEG
Categoria #
all - tutte 51.561
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 51.561
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20222.276 262 237 92 409 223 20 118 35 30 136 573 141
2022/20231.680 119 113 13 154 206 519 114 120 190 7 109 16
2023/2024467 39 51 15 8 67 56 13 10 63 49 8 88
2024/20251.067 17 38 101 67 82 32 228 109 124 73 101 95
2025/20263.798 194 320 419 263 333 294 385 228 489 450 120 303
2026/2027117 117 0 0 0 0 0 0 0 0 0 0 0
Totale 19.729