BELLIN, Gianluigi
 Distribuzione geografica
Continente #
NA - Nord America 644
EU - Europa 536
AS - Asia 132
OC - Oceania 4
SA - Sud America 1
Totale 1.317
Nazione #
US - Stati Uniti d'America 635
GB - Regno Unito 199
CN - Cina 96
FR - Francia 62
FI - Finlandia 47
SE - Svezia 46
DE - Germania 37
RU - Federazione Russa 37
IT - Italia 35
IE - Irlanda 33
SG - Singapore 28
UA - Ucraina 17
BE - Belgio 11
AT - Austria 9
CA - Canada 8
AU - Australia 4
IL - Israele 2
JP - Giappone 2
TR - Turchia 2
AR - Argentina 1
IN - India 1
JM - Giamaica 1
NL - Olanda 1
PL - Polonia 1
RO - Romania 1
SA - Arabia Saudita 1
Totale 1.317
Città #
Southend 175
Jacksonville 149
Chandler 89
Woodbridge 81
Ann Arbor 63
Houston 41
Ashburn 31
Dublin 31
Lawrence 19
Nanjing 19
Princeton 19
Singapore 14
Wilmington 14
Beijing 10
Brussels 10
Jinan 10
Helsinki 9
Sindelfingen 9
Vienna 9
Boardman 8
Lonigo 6
Florence 5
Cambridge 4
Hebei 4
Norwalk 4
Shenyang 4
Verona 4
Changsha 3
Crespino 3
Milan 3
San Francisco 3
Zhengzhou 3
Aiken 2
Auburn Hills 2
Fairfield 2
Hangzhou 2
Jiaxing 2
Longjumeau 2
Melbourne 2
Montreal 2
Naples 2
Padova 2
Rome 2
Seattle 2
Toronto 2
Brockton 1
Canberra 1
Caravaggio 1
Chaoyang 1
Chicago 1
Clearwater 1
Dallas 1
Elora 1
Ghent 1
Haifa 1
Haikou 1
Jeffries 1
Kolkata 1
Lancaster 1
Lanzhou 1
Laval 1
Leesburg 1
Mehlingen 1
Montréal 1
Nanchang 1
Ningbo 1
North York 1
Oxford 1
Paris 1
Philadelphia 1
Pisa 1
Riva 1
Riyadh 1
Sydney 1
Tappahannock 1
Tianjin 1
Tokyo 1
Tomsk 1
Warsaw 1
Totale 916
Nome #
Extended Curry-Howard Correspondence for a Basic Constructive Modal Logic 160
Herbrand's Theorem for Calculi of Sequents LK and LJ 99
Subnets of Proof-nets in MLL- 94
Categorical Proof Theory of Classical Propositional Calculus 85
Logic for pragmatics 84
Towards a logic for pragmatics. Assertions and conjectures. 70
Planar and Braided Proof-nets for MLL with Mix 69
Ramsey Interpreted: A Parametric Version of Ramsey's Theorem 69
A decision procedure revisited: Notes on direct logic, linear logic and its implementation 63
On the π-calculus and Co-intuitionistic Logic. Notes on Logic for Concurrency and λP Systems 62
A system of natural deduction for GL 58
Subnets of Proof-nets in multiplicative linear logic with MIX 58
On the Pi-calculus and linear logic 54
Categorical Proof Theory of Co-Intuitionistic Linear Logic 53
A Pragmatic Interpretation Of Substructural Logics 52
Two paradigms of logical computation in affine logic? 51
A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILP 51
Chu's construction: a proof-theoretic approach 50
Assertions, hypotheses, conjectures, expectations: Rough-set semantics and proof-theory 43
Totale 1.325
Categoria #
all - tutte 4.218
article - articoli 2.328
book - libri 0
conference - conferenze 396
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.494
Totale 8.436


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020177 0 0 0 21 41 17 30 18 6 19 4 21
2020/2021137 6 25 1 11 12 19 2 19 15 3 21 3
2021/2022128 25 6 2 1 3 7 1 7 2 4 21 49
2022/2023307 22 21 40 37 46 61 0 25 39 5 9 2
2023/2024137 8 9 15 20 20 4 1 28 5 10 10 7
2024/202575 22 30 7 16 0 0 0 0 0 0 0 0
Totale 1.325