BELLIN, Gianluigi
 Distribuzione geografica
Continente #
NA - Nord America 651
EU - Europa 569
AS - Asia 184
OC - Oceania 4
SA - Sud America 1
Totale 1.409
Nazione #
US - Stati Uniti d'America 639
GB - Regno Unito 204
CN - Cina 96
SG - Singapore 68
FR - Francia 63
RU - Federazione Russa 56
FI - Finlandia 50
SE - Svezia 46
IT - Italia 38
DE - Germania 37
IE - Irlanda 33
UA - Ucraina 17
BE - Belgio 13
ID - Indonesia 12
CA - Canada 11
AT - Austria 9
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.409
Città #
Southend 175
Jacksonville 149
Chandler 89
Woodbridge 81
Ann Arbor 63
Singapore 52
Houston 41
Ashburn 31
Dublin 31
Lawrence 19
Nanjing 19
Princeton 19
Wilmington 14
Brussels 12
Helsinki 12
Jakarta 12
Beijing 10
Jinan 10
Sindelfingen 9
Vienna 9
Boardman 8
Lonigo 6
Florence 5
Cambridge 4
Hebei 4
Norwalk 4
Oxford 4
Rome 4
Shenyang 4
Verona 4
Changsha 3
Crespino 3
Milan 3
San Francisco 3
Toronto 3
Zhengzhou 3
Aiken 2
Auburn Hills 2
Fairfield 2
Hangzhou 2
Jiaxing 2
London 2
Longjumeau 2
Melbourne 2
Montreal 2
Naples 2
Ottawa 2
Padova 2
Seattle 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
Marseille 1
Mehlingen 1
Montréal 1
Nanchang 1
Newark 1
Ningbo 1
North York 1
Paris 1
Philadelphia 1
Pisa 1
Riva 1
Riyadh 1
Santa Clara 1
Sydney 1
Tappahannock 1
Tianjin 1
Tokyo 1
Tomsk 1
Warsaw 1
Totale 984
Nome #
Extended Curry-Howard Correspondence for a Basic Constructive Modal Logic 169
Herbrand's Theorem for Calculi of Sequents LK and LJ 103
Subnets of Proof-nets in MLL- 99
Categorical Proof Theory of Classical Propositional Calculus 89
Logic for pragmatics 86
Planar and Braided Proof-nets for MLL with Mix 77
Towards a logic for pragmatics. Assertions and conjectures. 74
Ramsey Interpreted: A Parametric Version of Ramsey's Theorem 72
A decision procedure revisited: Notes on direct logic, linear logic and its implementation 72
A system of natural deduction for GL 66
On the π-calculus and Co-intuitionistic Logic. Notes on Logic for Concurrency and λP Systems 65
Subnets of Proof-nets in multiplicative linear logic with MIX 63
On the Pi-calculus and linear logic 59
A Pragmatic Interpretation Of Substructural Logics 56
Categorical Proof Theory of Co-Intuitionistic Linear Logic 56
Two paradigms of logical computation in affine logic? 55
A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILP 55
Chu's construction: a proof-theoretic approach 54
Assertions, hypotheses, conjectures, expectations: Rough-set semantics and proof-theory 47
Totale 1.417
Categoria #
all - tutte 4.516
article - articoli 2.486
book - libri 0
conference - conferenze 422
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.608
Totale 9.032


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020156 0 0 0 0 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/2025167 22 30 7 93 15 0 0 0 0 0 0 0
Totale 1.417