SALIBRA, Antonino
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.916
EU - Europa 5.089
AS - Asia 1.411
SA - Sud America 8
Continente sconosciuto - Info sul continente non disponibili 4
AF - Africa 2
OC - Oceania 2
Totale 14.432
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.899
PL - Polonia 2.662
CN - Cina 1.154
IT - Italia 602
DE - Germania 331
UA - Ucraina 292
IE - Irlanda 271
FI - Finlandia 260
SE - Svezia 226
GB - Regno Unito 161
TR - Turchia 112
RU - Federazione Russa 76
BA - Bosnia-Erzegovina 73
HK - Hong Kong 59
SG - Singapore 46
FR - Francia 34
AT - Austria 25
BE - Belgio 23
NL - Olanda 15
VN - Vietnam 15
CA - Canada 14
ES - Italia 10
CH - Svizzera 9
RO - Romania 8
IR - Iran 7
LB - Libano 7
CL - Cile 5
UZ - Uzbekistan 5
EU - Europa 4
BG - Bulgaria 3
HN - Honduras 3
IN - India 3
BY - Bielorussia 2
GR - Grecia 2
JP - Giappone 2
AR - Argentina 1
AU - Australia 1
BJ - Benin 1
BR - Brasile 1
CO - Colombia 1
HR - Croazia 1
HU - Ungheria 1
KR - Corea 1
LV - Lettonia 1
MT - Malta 1
NZ - Nuova Zelanda 1
ZA - Sudafrica 1
Totale 14.432
Salva come PNG Salva come JPEG
Città #
Warsaw 2.647
Woodbridge 2.284
Ann Arbor 652
Fairfield 639
Houston 615
Jacksonville 608
Chandler 577
Seattle 306
Ashburn 274
Dublin 271
Wilmington 263
Cambridge 220
Nanjing 175
Mestre 114
Dearborn 112
Des Moines 112
Izmir 111
Andover 108
Shenyang 103
Jinan 97
Beijing 86
Boardman 83
Guangzhou 80
Boston 73
Sarajevo 73
Mülheim 67
Princeton 67
Venice 66
Hebei 61
Venezia 60
Hong Kong 58
San Mateo 55
New York 52
Changsha 51
Jiaxing 49
Nanchang 48
Tianjin 47
Hangzhou 42
Milan 38
Taiyuan 38
Taizhou 38
Zhengzhou 36
Altamura 31
Redwood City 30
Haikou 26
Ningbo 26
Brussels 23
San Diego 22
Fuzhou 21
Saint Petersburg 21
San Paolo di Civitate 17
Karlsruhe 16
Vienna 16
Dong Ket 15
Phoenix 14
Verona 13
Hefei 9
Kunming 9
Latiano 9
Auburn Hills 8
Lanzhou 8
Orange 8
Toronto 8
Castelfranco Veneto 7
London 7
Pars 7
Polska 7
Cagliari 6
Helsinki 6
Moscow 6
Santa Cruz De Tenerife 6
Falls Church 5
Frankfurt Am Main 5
Gloucester 5
Lansing 5
Montréal 5
Padova 5
Qingdao 5
Silea 5
Xiangfen 5
Den Haag 4
Lausanne 4
Ludwigshafen 4
Philadelphia 4
Shanghai 4
Simi Valley 4
Dallas 3
La Ceiba 3
Los Angeles 3
Puxian 3
Rodgau 3
Sofia 3
Torino 3
Abano Terme 2
Amsterdam 2
Bologna 2
Chelyabinsk 2
Chongqing 2
Ciampino 2
Clearwater 2
Totale 12.062
Salva come PNG Salva come JPEG
Nome #
Factor Varieties and Symbolic Computation 563
Boolean product representations of algebras via binary polynomials 487
Boolean like algebras 479
Easy lambda-terms are not always simple 424
Graph easy sets of mute lambda terms 423
Minimal lambda-theories by ultraproducts 407
Ordered models of the lambda calculus 371
Factor Varieties 368
On linear information systems 348
Applying Universal Algebra to Lambda Calculus 346
Boolean-like-algebras 346
Exponentials with infinite multiplicities 322
The stack calculus 322
On the equational consistency of order-theoretic models of the lambda-calculus 317
Scott is always simple 317
Topological incompleteness and order incompleteness of the lambda calculus 305
Resource Combinatory Algebras 282
The connection of skew Boolean algebras and discriminator varieties to Church algebras 253
A reduction scema by pre-institution transformations 253
Reflexive domains are not complete for the extensional lambda calculus 247
Lattices of equational theories as Church algebras 240
A soft stairway to institutions 236
A continuum of theories of lambda calculus without semantics 230
BOOLEAN-LIKE ALGEBRAS OF FINITE DIMENSION 229
A representation theorem for lambda abstraction algebras 222
Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets 222
A finite equational axiomatization of the functional algebras for the lambda calculus 209
First-order theories as many-sorted algebras 204
Boolean algebras for lambda calculus 204
Introducing equational type logic 202
A graph easy set of mute lambda terms 197
The sensible graph theories of lambda calculus 186
Dimension-complemented lambda abstraction algebras 185
Polyadic algebras over non-classical logics 184
Lambda theories of effective lambda models 182
A note on absolutely unorderable combinatory algebras 181
The minimal graph model of lambda calculus 181
Towards lambda calculus order-incompleteness 178
The abstract variable-binding calculus 176
Equational type logic 172
Algebra universale e logica in computer science 168
Lambda Abstraction algebras: representation theorems 162
Equational calculi for many-sorted algebras with empty carrier sets 161
On Noncommutative Generalisations of Boolean Algebras 161
DELTA: a deduction system integrating equational logic and type assignment 160
On the algebraic models of lambda calculus 157
On the expressiveness of equational type logic 157
A general theory of algebras with quantifiers 149
Lambda abstraction algebras: coordinatizing models of lambda calculus 145
On the nature of TELLUS 145
On the power of equational calculus: applications and extensions. 141
Compactness and Lowenheim-Skolem properties in pre-institution categories 133
Universal Algebraic Semantics 127
Una nota sui gruppoidi topologici 125
Lambda calculus: models and theories 124
Introduction to lambda abstraction algebras 118
Logica del Primo Ordine 114
The lattice of lambda theories 113
Nonmodularity results for lambda calculus 111
On categorical frames, universal algebra and Boolean algebras with operators in a category 109
From Lambda Calculus to Universal Algebra and Back 108
The variety of lambda abstraction algebras does not admit n-permutable congruences for all n 108
Easiness in graph models 106
Interpolation and compacteness in categories of preinstitutions 103
On semi-boolean-like algebras 97
Effective lambda models versus recursively enumerable lambda theories 79
Graph Lambda Theories 75
Totale 14.656
Salva come PNG Salva come JPEG
Categoria #
all - tutte 31.914
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 31.914
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019575 0 0 0 0 0 0 0 0 0 0 214 361
2019/20202.997 330 216 192 486 213 279 198 363 197 268 184 71
2020/20212.444 160 57 220 118 344 184 180 151 100 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/2024376 39 51 15 8 67 56 13 10 63 49 5 0
Totale 14.656