MAIELI, ROBERTO
 Distribuzione geografica
Continente #
NA - Nord America 1.578
EU - Europa 1.459
AS - Asia 412
Continente sconosciuto - Info sul continente non disponibili 4
OC - Oceania 3
SA - Sud America 1
Totale 3.457
Nazione #
US - Stati Uniti d'America 1.576
DK - Danimarca 427
CN - Cina 373
GB - Regno Unito 353
IT - Italia 230
SE - Svezia 137
DE - Germania 102
UA - Ucraina 76
RU - Federazione Russa 42
FI - Finlandia 24
IE - Irlanda 23
SG - Singapore 21
AL - Albania 19
TR - Turchia 14
BE - Belgio 6
FR - Francia 6
ES - Italia 4
AT - Austria 3
AU - Australia 3
EU - Europa 3
CA - Canada 2
HK - Hong Kong 2
HU - Ungheria 2
A2 - ???statistics.table.value.countryCode.A2??? 1
BR - Brasile 1
CH - Svizzera 1
JP - Giappone 1
MY - Malesia 1
NL - Olanda 1
NO - Norvegia 1
PL - Polonia 1
RO - Romania 1
Totale 3.457
Città #
Southend 335
Woodbridge 229
Fairfield 193
Chandler 142
Wilmington 137
Ann Arbor 124
Houston 112
Nanjing 88
Ashburn 86
Seattle 82
Rome 76
Cambridge 71
Jacksonville 56
Dearborn 54
Princeton 36
Shenyang 35
Jinan 26
Nanchang 26
Hebei 23
Dublin 22
Plano 21
Beijing 20
Bremen 20
Changsha 17
Izmir 14
Latina 14
Redwood City 14
Tianjin 14
Cori 13
Frosinone 13
Singapore 13
Zhengzhou 12
Hangzhou 11
Ladispoli 11
San Diego 11
Kunming 10
Napoli 10
Shanghai 10
Los Angeles 9
Venezia 9
Jiaxing 8
Rocca Di Papa 8
Westminster 8
Haikou 7
Helsinki 7
Brussels 6
Ningbo 6
Altamura 5
Changchun 5
Falls Church 5
Fuzhou 5
Grafing 5
Hefei 5
Lanzhou 5
New York 5
Orange 5
Santa Clara 5
Guangzhou 4
Milan 4
San Mateo 4
Taizhou 4
Terni 4
Mountain View 3
San Paolo di Civitate 3
Wuhan 3
Barcelona 2
Bari 2
Chengdu 2
London 2
New Bedfont 2
Redmond 2
Taiyuan 2
Torino 2
Walnut 2
Acton 1
Albert Park 1
Baotou 1
Boardman 1
Bologna 1
Chicago 1
Chiswick 1
Como 1
Dallas 1
Flushing 1
Göttingen 1
Kilburn 1
Kursk 1
Lawrence 1
Logan 1
Manaus 1
Mestre 1
Modena 1
Montréal 1
North York 1
Norwalk 1
Oslo 1
Puxian 1
Qingdao 1
Raleigh 1
Saint Louis 1
Totale 2.392
Nome #
Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing 261
Focusing and proof-nets in linear and non commutative logic 260
Cyclic multiplicative-additive proof nets of linear logic with an application to language parsing 257
Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic 236
Proof Nets for Multiplicative Cyclic Linear Logic and Lambek Calculus 216
Non-commutative logic III : focusing proofs 207
Non decomposable connectives of linear logic 199
A new correctness criterion for multiplicative non commutative proof-nets 188
Cut Elimination for Monomial MALL Proof Nets 184
Construction of retractile proof structures 182
Non-commutative proof construction: a constraint-based approach 181
Modularity of proof nets: generating the type of a module 177
Bipolar Proof Nets for MALL 140
Construction of Bipolar Focussing Proof Structures 139
Contractible Proof Structures 138
Interactive correctness criterion for multiplicative-additive proof-nets 131
Focalizzazione delle prove in logica non-commutativa 128
Cut Elimination for Monomial Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic 123
Transactional Nets 122
Generalized connectives for multiplicative linear logic 78
Probabilistic logic programming with multiplicative modules 38
A Proof of the Focusing Theorem via MALL Proof Nets 15
Totale 3.600
Categoria #
all - tutte 8.967
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 8.967


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020587 0 0 23 71 50 67 94 97 96 31 37 21
2020/2021452 32 15 26 20 30 64 87 56 56 37 19 10
2021/2022336 24 40 4 11 55 9 42 9 20 5 71 46
2022/2023407 42 96 20 50 35 68 1 45 38 2 7 3
2023/202483 11 13 7 7 11 11 1 2 1 7 0 12
2024/202526 8 15 3 0 0 0 0 0 0 0 0 0
Totale 3.600