CATALOGO DEI PRODOTTI DELLA RICERCA

BELLIN, Gianluigi
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 950
NA - Nord America 939
AS - Asia 575
SA - Sud America 106
AF - Africa 15
OC - Oceania 7
Totale 2.592
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 914
RU - Federazione Russa 355
SG - Singapore 253
GB - Regno Unito 217
CN - Cina 143
BR - Brasile 83
FR - Francia 71
IT - Italia 71
VN - Vietnam 60
FI - Finlandia 53
SE - Svezia 47
DE - Germania 42
HK - Hong Kong 37
IE - Irlanda 33
KR - Corea 19
UA - Ucraina 18
ID - Indonesia 15
CA - Canada 14
BE - Belgio 13
AT - Austria 12
IN - India 12
NG - Nigeria 10
AR - Argentina 8
JP - Giappone 8
AU - Australia 7
EC - Ecuador 5
NL - Olanda 5
CR - Costa Rica 4
MX - Messico 4
BD - Bangladesh 3
IQ - Iraq 3
TR - Turchia 3
UZ - Uzbekistan 3
CH - Svizzera 2
CL - Cile 2
CO - Colombia 2
CZ - Repubblica Ceca 2
EE - Estonia 2
ES - Italia 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
BY - Bielorussia 1
GT - Guatemala 1
KE - Kenya 1
KZ - Kazakistan 1
MY - Malesia 1
PH - Filippine 1
PS - Palestinian Territory 1
RO - Romania 1
SA - Arabia Saudita 1
SY - Repubblica araba siriana 1
Totale 2.592
Salva come PNG Salva come JPEG
Città #
Southend 175
Jacksonville 149
Singapore 124
Moscow 107
Ashburn 103
Chandler 89
San Jose 86
Woodbridge 81
Ann Arbor 63
Houston 41
Dallas 37
Hong Kong 37
Dublin 31
Verona 23
Ho Chi Minh City 20
Nanjing 20
Lawrence 19
Princeton 19
Jakarta 14
Wilmington 14
Hanoi 13
Helsinki 13
Beijing 12
Brussels 12
Buffalo 12
The Dalles 12
Abuja 10
Jinan 10
Los Angeles 10
Vienna 10
Sindelfingen 9
Boardman 8
São Paulo 8
Marseille 7
London 6
Lonigo 6
Changsha 5
Florence 5
Garanhuns 5
Belo Horizonte 4
Cambridge 4
Chennai 4
Hangzhou 4
Hebei 4
Munich 4
Norwalk 4
Oxford 4
Redondo Beach 4
Rome 4
San Francisco 4
San José 4
Shenyang 4
Tianjin 4
Birmingham 3
Biên Hòa 3
Canberra 3
Chicago 3
Council Bluffs 3
Crespino 3
Glasgow 3
Guangzhou 3
Milan 3
New York 3
Pisa 3
Quảng Ngãi 3
Rio de Janeiro 3
Sorocaba 3
Tashkent 3
Toronto 3
Zhengzhou 3
Aiken 2
Amman 2
Auburn Hills 2
Barcelona 2
Da Nang 2
Des Moines 2
Fairfield 2
Jiaxing 2
Järvenpää 2
Leesburg 2
Longjumeau 2
Ludhiana 2
Manaus 2
Melbourne 2
Montreal 2
Mosul 2
Naples 2
Ottawa 2
Padova 2
Paris 2
Phnom Penh 2
Phoenix 2
Porto Alegre 2
Prague 2
Reggio Emilia 2
Salvador 2
Santa Clara 2
Seattle 2
Warsaw 2
Afrânio 1
Totale 1.591
Salva come PNG Salva come JPEG
Nome #
Extended Curry-Howard Correspondence for a Basic Constructive Modal Logic 308
Herbrand's Theorem for Calculi of Sequents LK and LJ 168
Subnets of Proof-nets in MLL- 156
Planar and Braided Proof-nets for MLL with Mix 149
Categorical Proof Theory of Classical Propositional Calculus 143
Logic for pragmatics 135
A system of natural deduction for GL 134
Towards a logic for pragmatics. Assertions and conjectures. 129
Subnets of Proof-nets in multiplicative linear logic with MIX 126
A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILP 125
Ramsey Interpreted: A Parametric Version of Ramsey's Theorem 124
A decision procedure revisited: Notes on direct logic, linear logic and its implementation 124
Two paradigms of logical computation in affine logic? 120
Chu's construction: a proof-theoretic approach 120
On the Pi-calculus and linear logic 114
A Pragmatic Interpretation Of Substructural Logics 112
On the π-calculus and Co-intuitionistic Logic. Notes on Logic for Concurrency and λP Systems 110
Categorical Proof Theory of Co-Intuitionistic Linear Logic 109
Assertions, hypotheses, conjectures, expectations: Rough-set semantics and proof-theory 94
Totale 2.600
Salva come PNG Salva come JPEG
Categoria #
all - tutte 7.602
article - articoli 4.148
book - libri 0
conference - conferenze 757
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.697
Totale 15.204
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202127 0 0 0 0 0 0 0 0 0 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/20261.001 77 48 88 185 223 43 73 59 150 55 0 0
Totale 2.600