CATALOGO DEI PRODOTTI DELLA RICERCA

BELLIN, Gianluigi
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.019
EU - Europa 990
AS - Asia 595
SA - Sud America 108
AF - Africa 15
Continente sconosciuto - Info sul continente non disponibili 8
OC - Oceania 7
Totale 2.742
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 986
RU - Federazione Russa 355
SG - Singapore 256
GB - Regno Unito 221
CN - Cina 147
IT - Italia 87
BR - Brasile 85
FR - Francia 73
VN - Vietnam 60
FI - Finlandia 53
SE - Svezia 47
DE - Germania 45
HK - Hong Kong 38
IE - Irlanda 33
CA - Canada 19
KR - Corea 19
UA - Ucraina 18
ID - Indonesia 15
BD - Bangladesh 14
BE - Belgio 13
IN - India 13
AT - Austria 12
NG - Nigeria 10
CZ - Repubblica Ceca 9
AR - Argentina 8
JP - Giappone 8
NL - Olanda 8
AU - Australia 7
CR - Costa Rica 5
EC - Ecuador 5
ES - Italia 5
MX - Messico 4
CH - Svizzera 3
IQ - Iraq 3
TR - Turchia 3
UZ - Uzbekistan 3
CL - Cile 2
CO - Colombia 2
EE - Estonia 2
IL - Israele 2
JM - Giamaica 2
JO - Giordania 2
KH - Cambogia 2
MA - Marocco 2
PK - Pakistan 2
PL - Polonia 2
PY - Paraguay 2
TW - Taiwan 2
UY - Uruguay 2
VE - Venezuela 2
ZA - Sudafrica 2
BA - Bosnia-Erzegovina 1
BB - Barbados 1
BY - Bielorussia 1
GR - Grecia 1
GT - Guatemala 1
KE - Kenya 1
KZ - Kazakistan 1
MY - Malesia 1
NI - Nicaragua 1
PH - Filippine 1
PS - Palestinian Territory 1
RO - Romania 1
SA - Arabia Saudita 1
SY - Repubblica araba siriana 1
Totale 2.734
Salva come PNG Salva come JPEG
Città #
Southend 175
Jacksonville 149
Singapore 125
Ashburn 115
Moscow 107
Chandler 89
San Jose 88
Woodbridge 81
Ann Arbor 63
Houston 41
Dallas 38
Hong Kong 38
Dublin 31
Verona 23
Ho Chi Minh City 20
Nanjing 20
Lawrence 19
Princeton 19
Council Bluffs 16
Beijing 15
Wilmington 15
Jakarta 14
Buffalo 13
Hanoi 13
Helsinki 13
Brussels 12
The Dalles 12
Los Angeles 11
Abuja 10
Florence 10
Jinan 10
Vienna 10
Prague 9
Sindelfingen 9
Boardman 8
São Paulo 8
Marseille 7
London 6
Lonigo 6
Birmingham 5
Changsha 5
Garanhuns 5
Milan 5
San José 5
Barcelona 4
Belo Horizonte 4
Cambridge 4
Chennai 4
Hangzhou 4
Hebei 4
Munich 4
New York 4
Norwalk 4
Oxford 4
Redondo Beach 4
Rome 4
San Francisco 4
Santa Clara 4
Shenyang 4
Tianjin 4
Biên Hòa 3
Canberra 3
Chicago 3
Crespino 3
Glasgow 3
Guangzhou 3
Montreal 3
Paris 3
Pisa 3
Quảng Ngãi 3
Rio de Janeiro 3
Sorocaba 3
Tashkent 3
Toronto 3
Zhengzhou 3
Aiken 2
Amman 2
Atlanta 2
Auburn Hills 2
Calgary 2
Charlotte 2
Da Nang 2
Des Moines 2
Dudley 2
Fairfield 2
Frankfurt am Main 2
Jiaxing 2
Järvenpää 2
Leesburg 2
Longjumeau 2
Ludhiana 2
Manaus 2
Melbourne 2
Miami 2
Mosul 2
Mumbai 2
Naples 2
Ottawa 2
Padova 2
Phnom Penh 2
Totale 1.652
Salva come PNG Salva come JPEG
Nome #
Extended Curry-Howard Correspondence for a Basic Constructive Modal Logic 344
Herbrand's Theorem for Calculi of Sequents LK and LJ 180
Planar and Braided Proof-nets for MLL with Mix 161
Subnets of Proof-nets in MLL- 157
Categorical Proof Theory of Classical Propositional Calculus 148
Logic for pragmatics 139
A system of natural deduction for GL 138
Towards a logic for pragmatics. Assertions and conjectures. 136
Subnets of Proof-nets in multiplicative linear logic with MIX 136
Ramsey Interpreted: A Parametric Version of Ramsey's Theorem 131
A decision procedure revisited: Notes on direct logic, linear logic and its implementation 129
A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILP 128
Chu's construction: a proof-theoretic approach 125
On the π-calculus and Co-intuitionistic Logic. Notes on Logic for Concurrency and λP Systems 125
Two paradigms of logical computation in affine logic? 120
On the Pi-calculus and linear logic 116
A Pragmatic Interpretation Of Substructural Logics 115
Categorical Proof Theory of Co-Intuitionistic Linear Logic 112
Assertions, hypotheses, conjectures, expectations: Rough-set semantics and proof-theory 102
Totale 2.742
Salva come PNG Salva come JPEG
Categoria #
all - tutte 8.696
article - articoli 4.730
book - libri 0
conference - conferenze 876
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 3.090
Totale 17.392
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202297 0 0 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/20261.081 77 48 88 185 223 43 73 59 150 67 35 33
2026/202762 23 20 19 0 0 0 0 0 0 0 0 0
Totale 2.742