SALIBRA, Antonino
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 10.137
EU - Europa 5.369
AS - Asia 4.069
SA - Sud America 282
Continente sconosciuto - Info sul continente non disponibili 229
AF - Africa 33
OC - Oceania 5
Totale 20.124
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 10.008
PL - Polonia 2.669
CN - Cina 1.648
SG - Singapore 1.079
IT - Italia 637
DE - Germania 412
HK - Hong Kong 323
VN - Vietnam 323
UA - Ucraina 296
FI - Finlandia 276
IE - Irlanda 273
SE - Svezia 227
BR - Brasile 225
GB - Regno Unito 184
IN - India 131
JP - Giappone 125
TR - Turchia 121
KR - Corea 119
FR - Francia 101
RU - Federazione Russa 86
BA - Bosnia-Erzegovina 74
CA - Canada 68
ID - Indonesia 49
AT - Austria 34
BD - Bangladesh 28
BE - Belgio 23
MX - Messico 20
AR - Argentina 18
ES - Italia 18
IQ - Iraq 18
NL - Olanda 18
PH - Filippine 14
PK - Pakistan 13
JM - Giamaica 11
CL - Cile 10
CH - Svizzera 9
HN - Honduras 9
IR - Iran 9
TW - Taiwan 9
CR - Costa Rica 8
RO - Romania 8
AE - Emirati Arabi Uniti 7
LB - Libano 7
TH - Thailandia 7
UZ - Uzbekistan 7
VE - Venezuela 7
CO - Colombia 6
EC - Ecuador 6
KE - Kenya 6
SA - Arabia Saudita 6
ZA - Sudafrica 6
OM - Oman 5
EU - Europa 4
GR - Grecia 4
JO - Giordania 4
MA - Marocco 4
SK - Slovacchia (Repubblica Slovacca) 4
SV - El Salvador 4
UY - Uruguay 4
BG - Bulgaria 3
BY - Bielorussia 3
DO - Repubblica Dominicana 3
EG - Egitto 3
ET - Etiopia 3
IL - Israele 3
NP - Nepal 3
TN - Tunisia 3
AU - Australia 2
AZ - Azerbaigian 2
BO - Bolivia 2
GT - Guatemala 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
MN - Mongolia 1
MT - Malta 1
MY - Malesia 1
NG - Nigeria 1
NI - Nicaragua 1
Totale 19.895
Salva come PNG Salva come JPEG
Città #
Warsaw 2.651
Woodbridge 2.284
Ann Arbor 652
Fairfield 639
Houston 619
Ashburn 610
Jacksonville 608
Chandler 577
Singapore 490
Council Bluffs 406
San Jose 377
Hong Kong 312
Seattle 311
Dallas 272
Dublin 272
Wilmington 265
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 73
Mülheim 67
Princeton 67
Tokyo 67
Venice 66
Hebei 61
Los Angeles 61
Venezia 60
Hanoi 59
Lauterbourg 58
Changsha 55
San Mateo 55
Jiaxing 51
Tianjin 50
Nanchang 48
Milan 46
Columbus 43
Frankfurt am Main 43
Hangzhou 43
Santa Clara 43
Taiyuan 39
Zhengzhou 39
Taizhou 38
Jakarta 36
Altamura 31
Redwood City 30
Fuzhou 27
Buffalo 26
Haikou 26
Ningbo 26
São Paulo 25
Phoenix 24
San Diego 24
Brussels 23
Helsinki 22
Saint Petersburg 21
Shanghai 18
Vienna 18
San Paolo di Civitate 17
Karlsruhe 16
Dong Ket 15
Brooklyn 14
Verona 14
Berlin 13
Da Nang 13
Montreal 13
Toronto 13
Chicago 12
Orem 12
The Dalles 12
London 11
Philadelphia 11
Atlanta 10
Kunming 10
Denver 9
Latiano 9
Padova 9
Auburn Hills 8
Chennai 8
Lanzhou 8
Moscow 8
Nuremberg 8
Orange 8
Qingdao 8
Rio de Janeiro 8
Springfield 8
Totale 15.377
Salva come PNG Salva come JPEG
Nome #
Factor Varieties and Symbolic Computation 685
Boolean like algebras 592
Boolean product representations of algebras via binary polynomials 580
Easy lambda-terms are not always simple 555
Applying Universal Algebra to Lambda Calculus 515
Graph easy sets of mute lambda terms 513
Minimal lambda-theories by ultraproducts 483
Factor Varieties 476
Ordered models of the lambda calculus 466
Boolean-like-algebras 449
On linear information systems 433
Exponentials with infinite multiplicities 419
Scott is always simple 416
On the equational consistency of order-theoretic models of the lambda-calculus 412
Topological incompleteness and order incompleteness of the lambda calculus 403
The stack calculus 398
Resource Combinatory Algebras 349
A reduction scema by pre-institution transformations 344
BOOLEAN-LIKE ALGEBRAS OF FINITE DIMENSION 325
The connection of skew Boolean algebras and discriminator varieties to Church algebras 323
Lattices of equational theories as Church algebras 319
A soft stairway to institutions 312
A continuum of theories of lambda calculus without semantics 309
Reflexive domains are not complete for the extensional lambda calculus 308
A representation theorem for lambda abstraction algebras 302
A finite equational axiomatization of the functional algebras for the lambda calculus 301
Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets 296
Introducing equational type logic 294
A graph easy set of mute lambda terms 289
Boolean algebras for lambda calculus 279
The sensible graph theories of lambda calculus 273
Dimension-complemented lambda abstraction algebras 270
A note on absolutely unorderable combinatory algebras 269
First-order theories as many-sorted algebras 267
Algebra universale e logica in computer science 256
DELTA: a deduction system integrating equational logic and type assignment 255
The abstract variable-binding calculus 252
Equational type logic 249
Lambda theories of effective lambda models 247
The minimal graph model of lambda calculus 246
Polyadic algebras over non-classical logics 246
On Noncommutative Generalisations of Boolean Algebras 237
A general theory of algebras with quantifiers 236
Lambda Abstraction algebras: representation theorems 234
Towards lambda calculus order-incompleteness 232
Equational calculi for many-sorted algebras with empty carrier sets 227
On the algebraic models of lambda calculus 221
Lambda abstraction algebras: coordinatizing models of lambda calculus 214
On the expressiveness of equational type logic 214
Easiness in graph models 211
Compactness and Lowenheim-Skolem properties in pre-institution categories 211
On the nature of TELLUS 209
On the power of equational calculus: applications and extensions. 203
Una nota sui gruppoidi topologici 200
Lambda calculus: models and theories 199
On categorical frames, universal algebra and Boolean algebras with operators in a category 196
The lattice of lambda theories 189
Universal Algebraic Semantics 189
Introduction to lambda abstraction algebras 180
On semi-boolean-like algebras 178
From Lambda Calculus to Universal Algebra and Back 173
Effective lambda models versus recursively enumerable lambda theories 173
Nonmodularity results for lambda calculus 172
Logica del Primo Ordine 171
Interpolation and compacteness in categories of preinstitutions 170
The variety of lambda abstraction algebras does not admit n-permutable congruences for all n 159
Graph Lambda Theories 151
Totale 20.124
Salva come PNG Salva come JPEG
Categoria #
all - tutte 53.022
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 53.022
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.777 0 0 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/2027512 121 183 208 0 0 0 0 0 0 0 0 0
Totale 20.124