TORTORA DE FALCO, LORENZO
 Distribuzione geografica
Continente #
EU - Europa 1.897
NA - Nord America 1.823
AS - Asia 596
AF - Africa 1
Continente sconosciuto - Info sul continente non disponibili 1
Totale 4.318
Nazione #
US - Stati Uniti d'America 1.822
GB - Regno Unito 506
CN - Cina 459
DK - Danimarca 396
IT - Italia 306
SE - Svezia 248
DE - Germania 133
UA - Ucraina 85
FI - Finlandia 66
SG - Singapore 55
RU - Federazione Russa 50
VN - Vietnam 43
IE - Irlanda 30
TR - Turchia 26
AL - Albania 23
PL - Polonia 15
BE - Belgio 12
FR - Francia 9
NL - Olanda 8
IN - India 5
ID - Indonesia 4
CH - Svizzera 3
AT - Austria 2
LK - Sri Lanka 2
CA - Canada 1
EE - Estonia 1
ES - Italia 1
EU - Europa 1
HK - Hong Kong 1
KG - Kirghizistan 1
LI - Liechtenstein 1
MA - Marocco 1
PT - Portogallo 1
RO - Romania 1
Totale 4.318
Città #
Southend 476
Woodbridge 221
Chandler 186
Fairfield 174
Houston 167
Ann Arbor 166
Wilmington 144
Rome 118
Nanjing 92
Ashburn 87
Dearborn 79
Boardman 72
Seattle 71
Jacksonville 68
Cambridge 59
Shenyang 53
Princeton 47
Dong Ket 43
Helsinki 43
Singapore 41
Jinan 38
Beijing 32
Grafing 32
Nanchang 32
Dublin 28
Hebei 27
Izmir 26
Plano 26
Redwood City 23
Changsha 22
Latina 22
Shanghai 19
Jiaxing 18
Cori 16
Rocca Di Papa 16
Kraków 14
Tianjin 14
Brussels 12
Guangzhou 12
Altamura 11
Falkenstein 11
Hangzhou 11
Haikou 10
Cagliari 9
Kunming 9
Moscow 8
Zhengzhou 8
Hefei 7
London 7
San Diego 7
Los Angeles 6
Orange 6
Taiyuan 6
Campobasso 5
Milan 5
Taizhou 5
Torino 5
Verona 5
Astrakhan 4
Catanzaro 4
Cerveteri 4
Jakarta 4
Napoli 4
Piglio 4
Venezia 4
Westminster 4
Alameda 3
Como 3
Marseille 3
Mentana 3
Quzhou 3
San Mateo 3
Stevenage 3
Amsterdam 2
Atlanta 2
Canale Monterano 2
Catania 2
Colombo 2
Dallas 2
Durham 2
Flushing 2
Fuzhou 2
Ladispoli 2
Laurel 2
Monterotondo 2
Mumbai 2
Naples 2
New York 2
Ningbo 2
Pisa 2
Russi 2
San Paolo di Civitate 2
Sassari 2
Telese 2
Villers-lès-nancy 2
Yicheng 2
Bari 1
Berlin 1
Bishkek 1
Caen 1
Totale 3.080
Nome #
Logica Volume 1- Dimostrazioni e modelli al primo ordine 266
A semantic account of strong normalization in Linear Logic 238
An Abstract Approach to Stratification in Linear Logic 214
Additives of Linear Logic and Normalization Part I: a (restricted) Church-Rosser property 206
Generalized Standardization lemma for the additives 192
The relational model is injective for Multiplicative Exponential Linear Logic (without weakenings) 191
A semantic measure of the execution time in Linear Logic 190
Obsessional cliques: a semantic characterization of bounded time complexity 186
Obsessional experiments for Linear Logic Proof-nets 183
Polarized and focalized linear and classical proofs 180
Slicing polarized additive normalization 180
Strong Normalization for all-style LK-tq 179
Coherent obsessional experiments for linear logic proof-nets 178
Computing connected proof(-structure)s from their Taylor expansion 177
Denotational semantics for polarized (but non-constrained) LK by means of the additives 174
Preface Special Issue: Differential Linear Logic, Nets and Other Quantitative and Parallel Approaches to Proof-Theory 172
Strong normalization property for second order linear logic 164
The additive multiboxes 141
Logica 141
Proof-Net as Graph, Taylor Expansion as Pullback 139
Sulla struttura logica del calcolo 137
SN and CR for fre-style LKtq: decorations and simulation of normalization 126
Polarisation des preuves classiques et renversement 115
A semantic account of Strong Normalization in Linear Logic, arXiv:1304.6762v2 97
Preface 73
Glueability of resource proof-structures: Inverting the Taylor expansion 68
Gluing resource proof-structures: inhabitation and inverting the Taylor expansion 52
MELL proof-nets in the category of graphs 41
Linear Realisability Over Nets and Second Order Quantification 16
Confluence for Proof Nets via Parallel Cut Elimination 13
Totale 4.429
Categoria #
all - tutte 12.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 12.591


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020545 0 0 0 0 0 98 95 76 168 46 40 22
2020/2021643 25 36 76 13 40 31 74 76 117 54 30 71
2021/2022330 53 9 4 12 55 13 34 15 22 16 63 34
2022/2023509 50 106 23 54 54 101 2 47 46 5 14 7
2023/2024160 12 18 5 16 43 10 7 2 3 5 3 36
2024/2025218 14 36 103 6 12 47 0 0 0 0 0 0
Totale 4.429