SALIBRA, Antonino
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 9.202
EU - Europa 5.341
AS - Asia 4.035
SA - Sud America 264
AF - Africa 33
Continente sconosciuto - Info sul continente non disponibili 5
OC - Oceania 5
Totale 18.885
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 9.135
PL - Polonia 2.668
CN - Cina 1.647
SG - Singapore 1.075
IT - Italia 622
DE - Germania 410
VN - Vietnam 320
HK - Hong Kong 319
UA - Ucraina 296
FI - Finlandia 276
IE - Irlanda 271
SE - Svezia 227
BR - Brasile 218
GB - Regno Unito 182
IN - India 131
JP - Giappone 125
TR - Turchia 121
KR - Corea 118
FR - Francia 99
RU - Federazione Russa 86
BA - Bosnia-Erzegovina 74
ID - Indonesia 41
CA - Canada 35
AT - Austria 34
BE - Belgio 23
BD - Bangladesh 20
ES - Italia 18
NL - Olanda 18
AR - Argentina 17
IQ - Iraq 17
MX - Messico 16
PH - Filippine 13
PK - Pakistan 13
CL - Cile 10
CH - Svizzera 9
IR - Iran 9
TW - Taiwan 9
RO - Romania 8
LB - Libano 7
TH - Thailandia 7
UZ - Uzbekistan 7
KE - Kenya 6
SA - Arabia Saudita 6
ZA - Sudafrica 6
AE - Emirati Arabi Uniti 5
HN - Honduras 5
OM - Oman 5
CR - Costa Rica 4
EC - Ecuador 4
EU - Europa 4
GR - Grecia 4
JO - Giordania 4
MA - Marocco 4
UY - Uruguay 4
VE - Venezuela 4
BG - Bulgaria 3
BY - Bielorussia 3
CO - Colombia 3
EG - Egitto 3
ET - Etiopia 3
IL - Israele 3
JM - Giamaica 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
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
SV - El Salvador 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 18.885
Salva come PNG Salva come JPEG
Città #
Warsaw 2.651
Woodbridge 2.284
Ann Arbor 652
Fairfield 639
Houston 617
Jacksonville 608
Chandler 577
Singapore 488
Ashburn 482
Seattle 309
Hong Kong 308
Dublin 271
San Jose 268
Dallas 264
Wilmington 263
Cambridge 220
Nanjing 178
Boardman 150
Hefei 134
Beijing 122
Mestre 114
Dearborn 112
Des Moines 112
Izmir 111
Seoul 110
Andover 108
Shenyang 105
Guangzhou 103
Ho Chi Minh City 102
Jinan 99
Council Bluffs 96
Bengaluru 82
Boston 80
Sarajevo 74
New York 68
Mülheim 67
Princeton 67
Tokyo 67
Venice 66
Hebei 61
Venezia 60
Lauterbourg 58
Hanoi 57
Changsha 55
Los Angeles 55
San Mateo 55
Jiaxing 51
Tianjin 50
Nanchang 48
Hangzhou 43
Frankfurt am Main 42
Milan 40
Taiyuan 39
Zhengzhou 39
Taizhou 38
Jakarta 36
Altamura 31
Redwood City 30
Fuzhou 27
Haikou 26
Ningbo 26
Santa Clara 26
San Diego 24
São Paulo 24
Brussels 23
Buffalo 23
Helsinki 22
Saint Petersburg 21
Shanghai 18
Vienna 18
Phoenix 17
San Paolo di Civitate 17
Karlsruhe 16
Dong Ket 15
Berlin 13
Da Nang 13
Verona 13
Brooklyn 12
Montreal 12
The Dalles 12
Columbus 11
London 11
Orem 11
Toronto 11
Kunming 10
Latiano 9
Padova 9
Atlanta 8
Auburn Hills 8
Chennai 8
Lanzhou 8
Moscow 8
Nuremberg 8
Orange 8
Qingdao 8
Rio de Janeiro 8
Belo Horizonte 7
Castelfranco Veneto 7
Pars 7
Polska 7
Totale 14.706
Salva come PNG Salva come JPEG
Nome #
Factor Varieties and Symbolic Computation 672
Boolean like algebras 573
Boolean product representations of algebras via binary polynomials 567
Easy lambda-terms are not always simple 528
Graph easy sets of mute lambda terms 496
Minimal lambda-theories by ultraproducts 472
Factor Varieties 454
Ordered models of the lambda calculus 452
Boolean-like-algebras 437
Applying Universal Algebra to Lambda Calculus 433
On linear information systems 421
Exponentials with infinite multiplicities 402
Topological incompleteness and order incompleteness of the lambda calculus 393
Scott is always simple 392
On the equational consistency of order-theoretic models of the lambda-calculus 391
The stack calculus 381
Resource Combinatory Algebras 338
A reduction scema by pre-institution transformations 331
The connection of skew Boolean algebras and discriminator varieties to Church algebras 313
BOOLEAN-LIKE ALGEBRAS OF FINITE DIMENSION 311
A soft stairway to institutions 302
Lattices of equational theories as Church algebras 302
Reflexive domains are not complete for the extensional lambda calculus 293
A continuum of theories of lambda calculus without semantics 291
A representation theorem for lambda abstraction algebras 291
A finite equational axiomatization of the functional algebras for the lambda calculus 287
Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets 282
Introducing equational type logic 280
A graph easy set of mute lambda terms 275
Boolean algebras for lambda calculus 267
The sensible graph theories of lambda calculus 259
First-order theories as many-sorted algebras 257
A note on absolutely unorderable combinatory algebras 256
Dimension-complemented lambda abstraction algebras 255
The abstract variable-binding calculus 244
Algebra universale e logica in computer science 242
Equational type logic 241
DELTA: a deduction system integrating equational logic and type assignment 241
Lambda theories of effective lambda models 238
Polyadic algebras over non-classical logics 232
The minimal graph model of lambda calculus 231
On Noncommutative Generalisations of Boolean Algebras 225
Lambda Abstraction algebras: representation theorems 224
Towards lambda calculus order-incompleteness 222
A general theory of algebras with quantifiers 220
Equational calculi for many-sorted algebras with empty carrier sets 215
On the algebraic models of lambda calculus 206
Compactness and Lowenheim-Skolem properties in pre-institution categories 203
Lambda abstraction algebras: coordinatizing models of lambda calculus 202
On the nature of TELLUS 199
On the expressiveness of equational type logic 198
On the power of equational calculus: applications and extensions. 192
Una nota sui gruppoidi topologici 188
Easiness in graph models 185
Lambda calculus: models and theories 184
Universal Algebraic Semantics 179
On categorical frames, universal algebra and Boolean algebras with operators in a category 176
The lattice of lambda theories 173
Introduction to lambda abstraction algebras 167
Logica del Primo Ordine 165
Nonmodularity results for lambda calculus 164
Interpolation and compacteness in categories of preinstitutions 159
From Lambda Calculus to Universal Algebra and Back 156
On semi-boolean-like algebras 154
The variety of lambda abstraction algebras does not admit n-permutable congruences for all n 153
Effective lambda models versus recursively enumerable lambda theories 140
Graph Lambda Theories 137
Totale 19.109
Salva come PNG Salva come JPEG
Categoria #
all - tutte 48.539
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 48.539
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021930 0 0 0 0 0 0 0 0 0 364 282 284
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.295 194 320 419 263 333 294 385 228 489 370 0 0
Totale 19.109