CATALOGO DEI PRODOTTI DELLA RICERCA

BELLIN, Gianluigi
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 983
EU - Europa 982
AS - Asia 588
SA - Sud America 106
AF - Africa 15
OC - Oceania 7
Totale 2.681
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 956
RU - Federazione Russa 355
SG - Singapore 255
GB - Regno Unito 221
CN - Cina 144
BR - Brasile 83
IT - Italia 81
FR - Francia 73
VN - Vietnam 60
FI - Finlandia 53
SE - Svezia 47
DE - Germania 44
HK - Hong Kong 37
IE - Irlanda 33
KR - Corea 19
UA - Ucraina 18
CA - Canada 16
ID - Indonesia 15
BD - Bangladesh 13
BE - Belgio 13
AT - Austria 12
IN - India 12
NG - Nigeria 10
CZ - Repubblica Ceca 9
AR - Argentina 8
JP - Giappone 8
NL - Olanda 8
AU - Australia 7
EC - Ecuador 5
ES - Italia 5
CR - Costa Rica 4
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
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.681
Salva come PNG Salva come JPEG
Città #
Southend 175
Jacksonville 149
Singapore 125
Ashburn 111
Moscow 107
Chandler 89
San Jose 88
Woodbridge 81
Ann Arbor 63
Houston 41
Dallas 38
Hong Kong 37
Dublin 31
Verona 23
Ho Chi Minh City 20
Nanjing 20
Lawrence 19
Princeton 19
Wilmington 15
Jakarta 14
Beijing 13
Hanoi 13
Helsinki 13
Brussels 12
Buffalo 12
The Dalles 12
Los Angeles 11
Abuja 10
Jinan 10
Vienna 10
Florence 9
Prague 9
Sindelfingen 9
Boardman 8
São Paulo 8
Marseille 7
Council Bluffs 6
London 6
Lonigo 6
Birmingham 5
Changsha 5
Garanhuns 5
Milan 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
San José 4
Shenyang 4
Tianjin 4
Biên Hòa 3
Canberra 3
Chicago 3
Crespino 3
Glasgow 3
Guangzhou 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
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
Montreal 2
Mosul 2
Naples 2
Ottawa 2
Padova 2
Phnom Penh 2
Phoenix 2
Porto Alegre 2
Reggio Emilia 2
Reseda 2
Totale 1.629
Salva come PNG Salva come JPEG
Nome #
Extended Curry-Howard Correspondence for a Basic Constructive Modal Logic 335
Herbrand's Theorem for Calculi of Sequents LK and LJ 174
Subnets of Proof-nets in MLL- 157
Planar and Braided Proof-nets for MLL with Mix 156
Categorical Proof Theory of Classical Propositional Calculus 145
A system of natural deduction for GL 136
Logic for pragmatics 136
Towards a logic for pragmatics. Assertions and conjectures. 132
Subnets of Proof-nets in multiplicative linear logic with MIX 132
Ramsey Interpreted: A Parametric Version of Ramsey's Theorem 128
A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILP 128
A decision procedure revisited: Notes on direct logic, linear logic and its implementation 125
On the π-calculus and Co-intuitionistic Logic. Notes on Logic for Concurrency and λP Systems 123
Chu's construction: a proof-theoretic approach 122
Two paradigms of logical computation in affine logic? 120
On the Pi-calculus and linear logic 116
A Pragmatic Interpretation Of Substructural Logics 113
Categorical Proof Theory of Co-Intuitionistic Linear Logic 111
Assertions, hypotheses, conjectures, expectations: Rough-set semantics and proof-theory 100
Totale 2.689
Salva come PNG Salva come JPEG
Categoria #
all - tutte 8.262
article - articoli 4.506
book - libri 0
conference - conferenze 830
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.926
Totale 16.524
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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.081 77 48 88 185 223 43 73 59 150 67 35 33
2026/20279 9 0 0 0 0 0 0 0 0 0 0 0
Totale 2.689