MAIELI, ROBERTO
 Distribuzione geografica
Continente #
NA - Nord America 1.625
EU - Europa 1.497
AS - Asia 423
Continente sconosciuto - Info sul continente non disponibili 4
OC - Oceania 3
SA - Sud America 1
Totale 3.553
Nazione #
US - Stati Uniti d'America 1.623
DK - Danimarca 427
CN - Cina 378
GB - Regno Unito 353
IT - Italia 233
SE - Svezia 137
DE - Germania 108
UA - Ucraina 76
RU - Federazione Russa 52
FI - Finlandia 43
IE - Irlanda 23
SG - Singapore 22
AL - Albania 19
TR - Turchia 14
BE - Belgio 6
FR - Francia 6
HK - Hong Kong 5
ES - Italia 4
AT - Austria 3
AU - Australia 3
EU - Europa 3
CA - Canada 2
HU - Ungheria 2
ID - Indonesia 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.553
Città #
Southend 335
Woodbridge 229
Fairfield 193
Chandler 142
Wilmington 137
Ann Arbor 124
Houston 112
Ashburn 88
Nanjing 88
Seattle 82
Rome 76
Cambridge 71
Jacksonville 56
Dearborn 54
Boardman 44
Princeton 36
Shenyang 35
Helsinki 26
Jinan 26
Nanchang 26
Hebei 23
Dublin 22
Plano 21
Beijing 20
Bremen 20
Changsha 17
Izmir 14
Latina 14
Redwood City 14
Singapore 14
Tianjin 14
Cori 13
Frosinone 13
Zhengzhou 12
Hangzhou 11
Ladispoli 11
San Diego 11
Kunming 10
Napoli 10
Shanghai 10
Jiaxing 9
Los Angeles 9
Venezia 9
Rocca Di Papa 8
Westminster 8
Haikou 7
Brussels 6
Moscow 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
Falkenstein 4
Guangzhou 4
Milan 4
San Mateo 4
Taizhou 4
Terni 4
Hong Kong 3
Mountain View 3
San Paolo di Civitate 3
Wuhan 3
Barcelona 2
Bari 2
Chengdu 2
Jakarta 2
London 2
Munich 2
New Bedfont 2
Redmond 2
Taiyuan 2
Torino 2
Walnut 2
Acton 1
Albert Park 1
Baotou 1
Bologna 1
Chicago 1
Chiswick 1
Como 1
Dallas 1
Flushing 1
Göttingen 1
Hwang Chow 1
Kilburn 1
Kursk 1
Lawrence 1
Logan 1
Manaus 1
Mestre 1
Modena 1
Montréal 1
North Bergen 1
Totale 2.470
Nome #
Focusing and proof-nets in linear and non commutative logic 264
Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing 263
Cyclic multiplicative-additive proof nets of linear logic with an application to language parsing 263
Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic 239
Proof Nets for Multiplicative Cyclic Linear Logic and Lambek Calculus 223
Non-commutative logic III : focusing proofs 210
Non decomposable connectives of linear logic 203
A new correctness criterion for multiplicative non commutative proof-nets 192
Cut Elimination for Monomial MALL Proof Nets 188
Non-commutative proof construction: a constraint-based approach 185
Construction of retractile proof structures 185
Modularity of proof nets: generating the type of a module 181
Bipolar Proof Nets for MALL 143
Construction of Bipolar Focussing Proof Structures 143
Contractible Proof Structures 142
Interactive correctness criterion for multiplicative-additive proof-nets 135
Focalizzazione delle prove in logica non-commutativa 132
Cut Elimination for Monomial Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic 126
Transactional Nets 125
Generalized connectives for multiplicative linear logic 88
Probabilistic logic programming with multiplicative modules 42
A Proof of the Focusing Theorem via MALL Proof Nets 20
Logic Programming with Multiplicative Structures 5
Totale 3.697
Categoria #
all - tutte 9.631
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 9.631


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020443 0 0 0 0 0 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/2025123 8 15 46 11 6 37 0 0 0 0 0 0
Totale 3.697