SALIBRA, Antonino
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 11.130
EU - Europa 5.423
AS - Asia 4.096
SA - Sud America 356
Continente sconosciuto - Info sul continente non disponibili 230
AF - Africa 36
OC - Oceania 5
Totale 21.276
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 10.972
PL - Polonia 2.671
CN - Cina 1.648
SG - Singapore 1.082
IT - Italia 649
DE - Germania 414
VN - Vietnam 324
HK - Hong Kong 323
UA - Ucraina 296
FI - Finlandia 276
IE - Irlanda 274
BR - Brasile 251
SE - Svezia 227
GB - Regno Unito 208
IN - India 132
JP - Giappone 128
TR - Turchia 122
KR - Corea 120
FR - Francia 103
RU - Federazione Russa 89
CA - Canada 83
BA - Bosnia-Erzegovina 74
ID - Indonesia 53
AT - Austria 34
BD - Bangladesh 30
CO - Colombia 27
AR - Argentina 24
BE - Belgio 23
MX - Messico 22
EC - Ecuador 21
ES - Italia 18
IQ - Iraq 18
NL - Olanda 18
JM - Giamaica 14
PH - Filippine 14
PK - Pakistan 14
VE - Venezuela 12
CL - Cile 10
CR - Costa Rica 10
TW - Taiwan 10
CH - Svizzera 9
HN - Honduras 9
IR - Iran 9
AE - Emirati Arabi Uniti 8
RO - Romania 8
EE - Estonia 7
LB - Libano 7
SA - Arabia Saudita 7
TH - Thailandia 7
UZ - Uzbekistan 7
IL - Israele 6
KE - Kenya 6
ZA - Sudafrica 6
OM - Oman 5
EU - Europa 4
GR - Grecia 4
GT - Guatemala 4
JO - Giordania 4
MA - Marocco 4
SK - Slovacchia (Repubblica Slovacca) 4
SV - El Salvador 4
UY - Uruguay 4
BG - Bulgaria 3
BO - Bolivia 3
BY - Bielorussia 3
DK - Danimarca 3
DO - Repubblica Dominicana 3
EG - Egitto 3
ET - Etiopia 3
NP - Nepal 3
SC - Seychelles 3
TN - Tunisia 3
TT - Trinidad e Tobago 3
AU - Australia 2
AZ - Azerbaigian 2
KW - Kuwait 2
LT - Lituania 2
MN - Mongolia 2
MY - Malesia 2
NI - Nicaragua 2
NZ - Nuova Zelanda 2
PE - Perù 2
PY - Paraguay 2
XK - ???statistics.table.value.countryCode.XK??? 2
AF - Afghanistan, Repubblica islamica di 1
AL - Albania 1
AM - Armenia 1
AO - Angola 1
BH - Bahrain 1
BJ - Benin 1
BM - Bermuda 1
BS - Bahamas 1
CG - Congo 1
DZ - Algeria 1
GD - Grenada 1
GM - Gambi 1
HR - Croazia 1
HU - Ungheria 1
KG - Kirghizistan 1
KZ - Kazakistan 1
Totale 21.042
Salva come PNG Salva come JPEG
Città #
Warsaw 2.652
Woodbridge 2.284
Ashburn 773
Ann Arbor 652
Fairfield 639
Houston 623
Jacksonville 608
Chandler 577
San Jose 496
Singapore 492
Council Bluffs 462
Hong Kong 312
Seattle 311
Dallas 276
Dublin 272
Wilmington 265
Cambridge 220
Nanjing 178
Boardman 150
Hefei 134
Beijing 123
Des Moines 114
Mestre 114
Dearborn 112
Izmir 111
Seoul 111
Andover 108
Shenyang 105
Guangzhou 103
Ho Chi Minh City 102
Jinan 99
Bengaluru 82
Boston 80
New York 78
Sarajevo 74
Tokyo 70
Princeton 68
Los Angeles 67
Mülheim 67
Venice 66
Hebei 61
Hanoi 60
Venezia 60
Lauterbourg 58
Changsha 55
San Mateo 55
Jiaxing 51
Tianjin 50
Milan 48
Nanchang 48
Santa Clara 47
Frankfurt am Main 44
Columbus 43
Hangzhou 43
Phoenix 39
Taiyuan 39
Zhengzhou 39
Taizhou 38
Jakarta 36
Altamura 31
Redwood City 30
Fuzhou 27
São Paulo 27
Buffalo 26
Haikou 26
Ningbo 26
San Diego 25
Brussels 23
Chicago 22
Helsinki 22
Saint Petersburg 21
Shanghai 18
Vienna 18
Atlanta 17
Brooklyn 17
San Paolo di Civitate 17
Karlsruhe 16
Montreal 16
Toronto 16
Dong Ket 15
Denver 14
Philadelphia 14
Verona 14
Berlin 13
Da Nang 13
Orem 13
London 12
The Dalles 12
Brasília 11
Guayaquil 11
Queens 11
The Bronx 11
Kunming 10
Rio de Janeiro 10
Latiano 9
Padova 9
San José 9
Auburn Hills 8
Bogotá 8
Chennai 8
Totale 15.820
Salva come PNG Salva come JPEG
Nome #
Factor Varieties and Symbolic Computation 708
Boolean like algebras 620
Boolean product representations of algebras via binary polynomials 600
Easy lambda-terms are not always simple 592
Applying Universal Algebra to Lambda Calculus 543
Graph easy sets of mute lambda terms 534
Factor Varieties 492
Minimal lambda-theories by ultraproducts 490
Ordered models of the lambda calculus 479
Boolean-like-algebras 473
On linear information systems 446
Exponentials with infinite multiplicities 436
On the equational consistency of order-theoretic models of the lambda-calculus 431
Scott is always simple 431
Topological incompleteness and order incompleteness of the lambda calculus 414
The stack calculus 410
A reduction scema by pre-institution transformations 382
Resource Combinatory Algebras 360
Lattices of equational theories as Church algebras 337
BOOLEAN-LIKE ALGEBRAS OF FINITE DIMENSION 336
The connection of skew Boolean algebras and discriminator varieties to Church algebras 330
A continuum of theories of lambda calculus without semantics 327
A soft stairway to institutions 327
A representation theorem for lambda abstraction algebras 323
Reflexive domains are not complete for the extensional lambda calculus 320
A finite equational axiomatization of the functional algebras for the lambda calculus 312
A graph easy set of mute lambda terms 311
Introducing equational type logic 310
Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets 307
Boolean algebras for lambda calculus 294
Dimension-complemented lambda abstraction algebras 289
First-order theories as many-sorted algebras 286
Algebra universale e logica in computer science 285
The sensible graph theories of lambda calculus 284
A note on absolutely unorderable combinatory algebras 279
DELTA: a deduction system integrating equational logic and type assignment 278
The abstract variable-binding calculus 269
Equational type logic 266
Lambda theories of effective lambda models 264
The minimal graph model of lambda calculus 260
Polyadic algebras over non-classical logics 259
A general theory of algebras with quantifiers 254
Lambda Abstraction algebras: representation theorems 247
Equational calculi for many-sorted algebras with empty carrier sets 245
Towards lambda calculus order-incompleteness 244
On Noncommutative Generalisations of Boolean Algebras 243
On the power of equational calculus: applications and extensions. 237
On the algebraic models of lambda calculus 235
Easiness in graph models 234
On the expressiveness of equational type logic 234
Lambda abstraction algebras: coordinatizing models of lambda calculus 224
Compactness and Lowenheim-Skolem properties in pre-institution categories 224
On the nature of TELLUS 219
Una nota sui gruppoidi topologici 213
On categorical frames, universal algebra and Boolean algebras with operators in a category 211
Lambda calculus: models and theories 210
The lattice of lambda theories 207
Universal Algebraic Semantics 205
Introduction to lambda abstraction algebras 202
Effective lambda models versus recursively enumerable lambda theories 194
On semi-boolean-like algebras 194
Logica del Primo Ordine 192
Nonmodularity results for lambda calculus 191
Interpolation and compacteness in categories of preinstitutions 190
From Lambda Calculus to Universal Algebra and Back 190
Graph Lambda Theories 172
The variety of lambda abstraction algebras does not admit n-permutable congruences for all n 171
Totale 21.276
Salva come PNG Salva come JPEG
Categoria #
all - tutte 55.225
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 55.225
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.685 0 0 0 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/20271.664 121 183 981 379 0 0 0 0 0 0 0 0
Totale 21.276