SALIBRA, Antonino
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 8.186
EU - Europa 5.165
AS - Asia 2.059
SA - Sud America 153
AF - Africa 5
Continente sconosciuto - Info sul continente non disponibili 4
OC - Oceania 3
Totale 15.575
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.159
PL - Polonia 2.663
CN - Cina 1.203
IT - Italia 617
SG - Singapore 389
DE - Germania 365
UA - Ucraina 292
IE - Irlanda 271
FI - Finlandia 265
HK - Hong Kong 238
SE - Svezia 226
GB - Regno Unito 164
BR - Brasile 139
TR - Turchia 118
RU - Federazione Russa 85
BA - Bosnia-Erzegovina 73
ID - Indonesia 37
FR - Francia 35
AT - Austria 30
BE - Belgio 23
CA - Canada 17
NL - Olanda 15
VN - Vietnam 15
ES - Italia 12
IN - India 10
CH - Svizzera 9
RO - Romania 8
IR - Iran 7
LB - Libano 7
UZ - Uzbekistan 7
BD - Bangladesh 6
CL - Cile 6
JP - Giappone 5
PK - Pakistan 5
EU - Europa 4
HN - Honduras 4
AR - Argentina 3
BG - Bulgaria 3
GR - Grecia 3
PH - Filippine 3
AE - Emirati Arabi Uniti 2
AU - Australia 2
AZ - Azerbaigian 2
BY - Bielorussia 2
CO - Colombia 2
KR - Corea 2
MX - Messico 2
VE - Venezuela 2
BJ - Benin 1
BS - Bahamas 1
CR - Costa Rica 1
DO - Repubblica Dominicana 1
HR - Croazia 1
HU - Ungheria 1
IQ - Iraq 1
JM - Giamaica 1
KE - Kenya 1
KW - Kuwait 1
KZ - Kazakistan 1
LV - Lettonia 1
MA - Marocco 1
MT - Malta 1
NZ - Nuova Zelanda 1
PY - Paraguay 1
TN - Tunisia 1
ZA - Sudafrica 1
Totale 15.575
Salva come PNG Salva come JPEG
Città #
Warsaw 2.648
Woodbridge 2.284
Ann Arbor 652
Fairfield 639
Houston 615
Jacksonville 608
Chandler 577
Seattle 307
Ashburn 292
Dublin 271
Wilmington 263
Hong Kong 237
Cambridge 220
Nanjing 175
Singapore 175
Boardman 150
Mestre 114
Dearborn 112
Des Moines 112
Izmir 111
Andover 108
Shenyang 103
Jinan 97
Beijing 87
Guangzhou 80
Boston 76
Council Bluffs 76
Sarajevo 73
Mülheim 67
Princeton 67
Venice 66
Hebei 61
Venezia 60
New York 57
San Mateo 55
Changsha 51
Jiaxing 50
Nanchang 48
Tianjin 47
Hangzhou 43
Milan 39
Taiyuan 38
Taizhou 38
Jakarta 36
Zhengzhou 36
Altamura 31
Redwood City 30
Haikou 26
Hefei 26
Ningbo 26
Fuzhou 25
Brussels 23
San Diego 22
Saint Petersburg 21
San Paolo di Civitate 17
Vienna 17
Karlsruhe 16
Dong Ket 15
Phoenix 14
Berlin 13
Verona 13
Helsinki 11
São Paulo 11
Brooklyn 10
Kunming 9
Latiano 9
Padova 9
Shanghai 9
Auburn Hills 8
Lanzhou 8
Orange 8
Toronto 8
Castelfranco Veneto 7
Dallas 7
London 7
Moscow 7
Pars 7
Polska 7
Santa Clara 7
The Dalles 7
Belo Horizonte 6
Brasília 6
Cagliari 6
Los Angeles 6
Santa Cruz De Tenerife 6
Falls Church 5
Frankfurt Am Main 5
Gloucester 5
Lansing 5
Montréal 5
Nuremberg 5
Qingdao 5
Quanzhou 5
Silea 5
Xiangfen 5
Den Haag 4
Lausanne 4
Ludwigshafen 4
Philadelphia 4
Simi Valley 4
Totale 12.712
Salva come PNG Salva come JPEG
Nome #
Factor Varieties and Symbolic Computation 596
Boolean product representations of algebras via binary polynomials 509
Boolean like algebras 497
Easy lambda-terms are not always simple 454
Graph easy sets of mute lambda terms 439
Minimal lambda-theories by ultraproducts 422
Factor Varieties 391
Ordered models of the lambda calculus 390
Boolean-like-algebras 375
Applying Universal Algebra to Lambda Calculus 365
On linear information systems 362
Exponentials with infinite multiplicities 344
Scott is always simple 337
The stack calculus 337
On the equational consistency of order-theoretic models of the lambda-calculus 335
Topological incompleteness and order incompleteness of the lambda calculus 329
Resource Combinatory Algebras 298
A reduction scema by pre-institution transformations 269
The connection of skew Boolean algebras and discriminator varieties to Church algebras 267
Lattices of equational theories as Church algebras 257
Reflexive domains are not complete for the extensional lambda calculus 256
A soft stairway to institutions 255
BOOLEAN-LIKE ALGEBRAS OF FINITE DIMENSION 249
A continuum of theories of lambda calculus without semantics 245
A representation theorem for lambda abstraction algebras 240
Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets 237
A finite equational axiomatization of the functional algebras for the lambda calculus 233
First-order theories as many-sorted algebras 221
Introducing equational type logic 219
Boolean algebras for lambda calculus 215
A graph easy set of mute lambda terms 211
The sensible graph theories of lambda calculus 210
Dimension-complemented lambda abstraction algebras 200
The minimal graph model of lambda calculus 198
A note on absolutely unorderable combinatory algebras 197
Lambda theories of effective lambda models 196
Polyadic algebras over non-classical logics 195
The abstract variable-binding calculus 193
Equational type logic 192
Towards lambda calculus order-incompleteness 190
On Noncommutative Generalisations of Boolean Algebras 190
Lambda Abstraction algebras: representation theorems 189
Algebra universale e logica in computer science 185
DELTA: a deduction system integrating equational logic and type assignment 174
On the algebraic models of lambda calculus 170
Equational calculi for many-sorted algebras with empty carrier sets 170
A general theory of algebras with quantifiers 166
On the expressiveness of equational type logic 164
On the nature of TELLUS 161
Lambda abstraction algebras: coordinatizing models of lambda calculus 160
On the power of equational calculus: applications and extensions. 151
Una nota sui gruppoidi topologici 149
Compactness and Lowenheim-Skolem properties in pre-institution categories 146
Universal Algebraic Semantics 145
Lambda calculus: models and theories 141
Introduction to lambda abstraction algebras 136
The lattice of lambda theories 130
Logica del Primo Ordine 127
Easiness in graph models 125
On categorical frames, universal algebra and Boolean algebras with operators in a category 125
Nonmodularity results for lambda calculus 120
The variety of lambda abstraction algebras does not admit n-permutable congruences for all n 119
From Lambda Calculus to Universal Algebra and Back 118
Interpolation and compacteness in categories of preinstitutions 114
On semi-boolean-like algebras 111
Graph Lambda Theories 95
Effective lambda models versus recursively enumerable lambda theories 93
Totale 15.799
Salva come PNG Salva come JPEG
Categoria #
all - tutte 40.591
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 40.591
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202071 0 0 0 0 0 0 0 0 0 0 0 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/2024467 39 51 15 8 67 56 13 10 63 49 8 88
2024/20251.052 17 38 101 67 82 32 228 109 124 73 101 80
Totale 15.799