TORTORA DE FALCO, LORENZO
 Distribuzione geografica
Continente #
EU - Europa 1.817
NA - Nord America 1.745
AS - Asia 546
Continente sconosciuto - Info sul continente non disponibili 1
Totale 4.109
Nazione #
US - Stati Uniti d'America 1.744
GB - Regno Unito 506
CN - Cina 450
DK - Danimarca 396
IT - Italia 288
SE - Svezia 247
DE - Germania 121
UA - Ucraina 85
FI - Finlandia 44
VN - Vietnam 43
IE - Irlanda 30
RU - Federazione Russa 30
TR - Turchia 26
AL - Albania 23
SG - Singapore 22
PL - Polonia 14
BE - Belgio 10
FR - Francia 8
NL - Olanda 8
IN - India 5
AT - Austria 2
CH - Svizzera 2
CA - Canada 1
ES - Italia 1
EU - Europa 1
LI - Liechtenstein 1
RO - Romania 1
Totale 4.109
Città #
Southend 476
Woodbridge 221
Chandler 186
Fairfield 174
Houston 167
Ann Arbor 166
Wilmington 144
Rome 106
Nanjing 92
Ashburn 83
Dearborn 79
Seattle 71
Jacksonville 68
Cambridge 59
Shenyang 53
Princeton 47
Dong Ket 43
Jinan 38
Beijing 32
Grafing 32
Nanchang 32
Dublin 28
Hebei 27
Izmir 26
Plano 26
Redwood City 23
Changsha 22
Helsinki 22
Latina 22
Shanghai 19
Jiaxing 18
Cori 16
Rocca Di Papa 16
Boardman 15
Kraków 14
Tianjin 14
Singapore 13
Altamura 11
Hangzhou 11
Brussels 10
Guangzhou 10
Haikou 10
Cagliari 9
Kunming 9
Zhengzhou 8
Hefei 7
London 7
San Diego 7
Orange 6
Taiyuan 6
Campobasso 5
Milan 5
Taizhou 5
Torino 5
Catanzaro 4
Cerveteri 4
Napoli 4
Piglio 4
Venezia 4
Westminster 4
Alameda 3
Como 3
Los Angeles 3
Mentana 3
Quzhou 3
San Mateo 3
Stevenage 3
Verona 3
Amsterdam 2
Atlanta 2
Canale Monterano 2
Durham 2
Flushing 2
Fuzhou 2
Ladispoli 2
Laurel 2
Marseille 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
Caen 1
Certaldo 1
Chaoyang 1
Chengdu 1
Dallas 1
Eugene 1
Fort Worth 1
Fushan 1
Genoa 1
Totale 2.922
Nome #
Logica Volume 1- Dimostrazioni e modelli al primo ordine 250
A semantic account of strong normalization in Linear Logic 227
An Abstract Approach to Stratification in Linear Logic 206
Additives of Linear Logic and Normalization Part I: a (restricted) Church-Rosser property 203
The relational model is injective for Multiplicative Exponential Linear Logic (without weakenings) 186
Generalized Standardization lemma for the additives 186
A semantic measure of the execution time in Linear Logic 184
Obsessional cliques: a semantic characterization of bounded time complexity 181
Obsessional experiments for Linear Logic Proof-nets 177
Slicing polarized additive normalization 176
Polarized and focalized linear and classical proofs 174
Strong Normalization for all-style LK-tq 174
Coherent obsessional experiments for linear logic proof-nets 171
Computing connected proof(-structure)s from their Taylor expansion 170
Denotational semantics for polarized (but non-constrained) LK by means of the additives 169
Preface Special Issue: Differential Linear Logic, Nets and Other Quantitative and Parallel Approaches to Proof-Theory 163
Strong normalization property for second order linear logic 159
The additive multiboxes 135
Proof-Net as Graph, Taylor Expansion as Pullback 133
Logica 132
Sulla struttura logica del calcolo 124
SN and CR for fre-style LKtq: decorations and simulation of normalization 120
Polarisation des preuves classiques et renversement 110
A semantic account of Strong Normalization in Linear Logic, arXiv:1304.6762v2 95
Preface 66
Glueability of resource proof-structures: Inverting the Taylor expansion 63
Gluing resource proof-structures: inhabitation and inverting the Taylor expansion 45
MELL proof-nets in the category of graphs 32
Linear Realisability Over Nets and Second Order Quantification 5
Totale 4.216
Categoria #
all - tutte 10.869
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 10.869


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.035 211 65 53 91 70 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/20255 5 0 0 0 0 0 0 0 0 0 0 0
Totale 4.216