BELLIN, Gianluigi
 Distribuzione geografica
Continente #
NA - Nord America 709
EU - Europa 602
AS - Asia 345
SA - Sud America 56
OC - Oceania 6
Totale 1.718
Nazione #
US - Stati Uniti d'America 692
GB - Regno Unito 210
SG - Singapore 159
CN - Cina 98
FR - Francia 69
RU - Federazione Russa 58
FI - Finlandia 52
BR - Brasile 50
SE - Svezia 46
DE - Germania 42
IT - Italia 41
HK - Hong Kong 34
IE - Irlanda 33
UA - Ucraina 17
KR - Corea 15
CA - Canada 14
BE - Belgio 13
ID - Indonesia 13
AT - Austria 10
IN - India 7
AU - Australia 6
AR - Argentina 4
VN - Vietnam 4
IQ - Iraq 3
JP - Giappone 3
NL - Olanda 3
CH - Svizzera 2
CZ - Repubblica Ceca 2
IL - Israele 2
MX - Messico 2
PL - Polonia 2
TR - Turchia 2
BY - Bielorussia 1
CO - Colombia 1
EC - Ecuador 1
JM - Giamaica 1
JO - Giordania 1
PK - Pakistan 1
RO - Romania 1
SA - Arabia Saudita 1
TW - Taiwan 1
UZ - Uzbekistan 1
Totale 1.718
Città #
Southend 175
Jacksonville 149
Chandler 89
Woodbridge 81
Singapore 77
Ann Arbor 63
Houston 41
Ashburn 34
Hong Kong 34
Dublin 31
Dallas 21
Lawrence 19
Nanjing 19
Princeton 19
Wilmington 14
Jakarta 13
Brussels 12
Helsinki 12
Beijing 10
Jinan 10
Vienna 10
Sindelfingen 9
Boardman 8
Marseille 7
Lonigo 6
Florence 5
Belo Horizonte 4
Cambridge 4
Garanhuns 4
Hebei 4
Munich 4
Norwalk 4
Oxford 4
Rome 4
San Francisco 4
Shenyang 4
Verona 4
Birmingham 3
Canberra 3
Changsha 3
Chennai 3
Crespino 3
Milan 3
Sorocaba 3
Toronto 3
Zhengzhou 3
Aiken 2
Auburn Hills 2
Chicago 2
Fairfield 2
Glasgow 2
Hangzhou 2
Jiaxing 2
Järvenpää 2
Leesburg 2
London 2
Longjumeau 2
Melbourne 2
Montreal 2
Mosul 2
Naples 2
Ottawa 2
Padova 2
Prague 2
Reggio Emilia 2
Rio de Janeiro 2
Seattle 2
São Paulo 2
Warsaw 2
Aimorés 1
Alto Taquari 1
Amman 1
Amsterdam 1
Arapongas 1
Baghdad 1
Baldwin 1
Bofete 1
Boston 1
Botucatu 1
Brasília 1
Brest 1
Brockton 1
Brooklyn 1
Buenos Aires 1
Buffalo 1
Cachoeirinha 1
Carapicuíba 1
Caravaggio 1
Carlisle 1
Caxias do Sul 1
Chaoyang 1
Charlotte 1
Clearwater 1
Columbus 1
Condado 1
Curitiba 1
Detroit 1
Dianópolis 1
Elora 1
Ezeiza 1
Totale 1.116
Nome #
Extended Curry-Howard Correspondence for a Basic Constructive Modal Logic 216
Herbrand's Theorem for Calculi of Sequents LK and LJ 114
Subnets of Proof-nets in MLL- 113
Categorical Proof Theory of Classical Propositional Calculus 107
Logic for pragmatics 99
Planar and Braided Proof-nets for MLL with Mix 92
Towards a logic for pragmatics. Assertions and conjectures. 87
A decision procedure revisited: Notes on direct logic, linear logic and its implementation 86
A system of natural deduction for GL 84
Ramsey Interpreted: A Parametric Version of Ramsey's Theorem 83
A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILP 78
Categorical Proof Theory of Co-Intuitionistic Linear Logic 78
On the π-calculus and Co-intuitionistic Logic. Notes on Logic for Concurrency and λP Systems 78
Subnets of Proof-nets in multiplicative linear logic with MIX 73
A Pragmatic Interpretation Of Substructural Logics 72
On the Pi-calculus and linear logic 70
Chu's construction: a proof-theoretic approach 70
Two paradigms of logical computation in affine logic? 68
Assertions, hypotheses, conjectures, expectations: Rough-set semantics and proof-theory 58
Totale 1.726
Categoria #
all - tutte 5.881
article - articoli 3.216
book - libri 0
conference - conferenze 580
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.085
Totale 11.762


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021106 0 0 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/2025349 22 30 7 93 15 5 11 35 44 25 10 52
2025/2026127 77 48 2 0 0 0 0 0 0 0 0 0
Totale 1.726