SALIBRA, Antonino
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 9.423
EU - Europa 5.348
AS - Asia 4.037
SA - Sud America 264
AF - Africa 33
Continente sconosciuto - Info sul continente non disponibili 5
OC - Oceania 5
Totale 19.115
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 9.351
PL - Polonia 2.668
CN - Cina 1.648
SG - Singapore 1.075
IT - Italia 623
DE - Germania 410
HK - Hong Kong 320
VN - Vietnam 320
UA - Ucraina 296
FI - Finlandia 276
IE - Irlanda 272
SE - Svezia 227
BR - Brasile 218
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
ID - Indonesia 41
CA - Canada 39
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
CR - Costa Rica 5
HN - Honduras 5
OM - Oman 5
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
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 19.115
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 514
Singapore 488
San Jose 321
Hong Kong 309
Seattle 309
Dublin 272
Dallas 267
Wilmington 263
Cambridge 220
Nanjing 178
Boardman 150
Council Bluffs 147
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 56
Changsha 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
Santa Clara 30
Fuzhou 27
Haikou 26
Ningbo 26
Buffalo 24
San Diego 24
São Paulo 24
Brussels 23
Helsinki 22
Saint Petersburg 21
Phoenix 19
Shanghai 18
Vienna 18
San Paolo di Civitate 17
Karlsruhe 16
Dong Ket 15
Berlin 13
Da Nang 13
Verona 13
Brooklyn 12
Montreal 12
Orem 12
The Dalles 12
Toronto 12
Columbus 11
London 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
Denver 7
Pars 7
Totale 14.861
Salva come PNG Salva come JPEG
Nome #
Factor Varieties and Symbolic Computation 676
Boolean like algebras 581
Boolean product representations of algebras via binary polynomials 567
Easy lambda-terms are not always simple 535
Graph easy sets of mute lambda terms 500
Minimal lambda-theories by ultraproducts 472
Factor Varieties 459
Ordered models of the lambda calculus 455
Boolean-like-algebras 440
Applying Universal Algebra to Lambda Calculus 438
On linear information systems 422
Exponentials with infinite multiplicities 406
Scott is always simple 396
Topological incompleteness and order incompleteness of the lambda calculus 396
On the equational consistency of order-theoretic models of the lambda-calculus 394
The stack calculus 389
Resource Combinatory Algebras 341
A reduction scema by pre-institution transformations 331
The connection of skew Boolean algebras and discriminator varieties to Church algebras 316
BOOLEAN-LIKE ALGEBRAS OF FINITE DIMENSION 313
Lattices of equational theories as Church algebras 312
A soft stairway to institutions 305
Reflexive domains are not complete for the extensional lambda calculus 296
A continuum of theories of lambda calculus without semantics 294
A finite equational axiomatization of the functional algebras for the lambda calculus 293
A representation theorem for lambda abstraction algebras 293
Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets 286
Introducing equational type logic 284
A graph easy set of mute lambda terms 276
Boolean algebras for lambda calculus 271
The sensible graph theories of lambda calculus 263
First-order theories as many-sorted algebras 262
A note on absolutely unorderable combinatory algebras 258
Dimension-complemented lambda abstraction algebras 258
The abstract variable-binding calculus 245
Algebra universale e logica in computer science 244
Equational type logic 243
DELTA: a deduction system integrating equational logic and type assignment 242
Lambda theories of effective lambda models 240
The minimal graph model of lambda calculus 239
Polyadic algebras over non-classical logics 238
Lambda Abstraction algebras: representation theorems 229
On Noncommutative Generalisations of Boolean Algebras 229
Towards lambda calculus order-incompleteness 223
A general theory of algebras with quantifiers 222
Equational calculi for many-sorted algebras with empty carrier sets 216
On the algebraic models of lambda calculus 210
Compactness and Lowenheim-Skolem properties in pre-institution categories 203
Lambda abstraction algebras: coordinatizing models of lambda calculus 202
On the nature of TELLUS 201
On the expressiveness of equational type logic 200
On the power of equational calculus: applications and extensions. 195
Easiness in graph models 191
Una nota sui gruppoidi topologici 189
Lambda calculus: models and theories 187
On categorical frames, universal algebra and Boolean algebras with operators in a category 180
Universal Algebraic Semantics 180
The lattice of lambda theories 178
Introduction to lambda abstraction algebras 170
Logica del Primo Ordine 167
Nonmodularity results for lambda calculus 166
On semi-boolean-like algebras 162
Interpolation and compacteness in categories of preinstitutions 161
From Lambda Calculus to Universal Algebra and Back 160
The variety of lambda abstraction algebras does not admit n-permutable congruences for all n 153
Effective lambda models versus recursively enumerable lambda theories 151
Graph Lambda Theories 145
Totale 19.339
Salva come PNG Salva come JPEG
Categoria #
all - tutte 50.152
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 50.152
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021284 0 0 0 0 0 0 0 0 0 0 0 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.525 194 320 419 263 333 294 385 228 489 450 120 30
Totale 19.339