statistiche ricercatore

Continente	#
EU - Europa	1.942
NA - Nord America	1.909
AS - Asia	893
SA - Sud America	79
AF - Africa	11
Continente sconosciuto - Info sul continente non disponibili	4
OC - Oceania	3
Totale	4.841

Nazione	#
US - Stati Uniti d'America	1.884
CN - Cina	502
DK - Danimarca	427
RU - Federazione Russa	376
GB - Regno Unito	368
IT - Italia	300
SG - Singapore	264
SE - Svezia	142
DE - Germania	113
UA - Ucraina	76
BR - Brasile	64
FI - Finlandia	43
KR - Corea	35
VN - Vietnam	32
IE - Irlanda	23
AL - Albania	19
TR - Turchia	17
CA - Canada	15
IN - India	12
ES - Italia	11
HK - Hong Kong	11
FR - Francia	10
MX - Messico	9
PL - Polonia	7
BE - Belgio	6
AR - Argentina	5
BD - Bangladesh	5
NL - Olanda	5
AT - Austria	4
EC - Ecuador	4
MA - Marocco	4
UZ - Uzbekistan	4
ZA - Sudafrica	4
AU - Australia	3
CO - Colombia	3
EU - Europa	3
LU - Lussemburgo	3
CH - Svizzera	2
HU - Ungheria	2
ID - Indonesia	2
LT - Lituania	2
A2 - ???statistics.table.value.countryCode.A2???	1
AF - Afghanistan, Repubblica islamica di	1
AO - Angola	1
AZ - Azerbaigian	1
CL - Cile	1
EG - Egitto	1
IL - Israele	1
IQ - Iraq	1
IR - Iran	1
JP - Giappone	1
KE - Kenya	1
LB - Libano	1
MY - Malesia	1
NO - Norvegia	1
PA - Panama	1
PT - Portogallo	1
PY - Paraguay	1
RO - Romania	1
TJ - Tagikistan	1
VE - Venezuela	1
Totale	4.841

Nome	#
Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing	343
Cyclic multiplicative-additive proof nets of linear logic with an application to language parsing	322
Focusing and proof-nets in linear and non commutative logic	315
Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic	276
Non-commutative logic III : focusing proofs	275
Proof Nets for Multiplicative Cyclic Linear Logic and Lambek Calculus	266
Modularity of proof nets: generating the type of a module	258
Non decomposable connectives of linear logic	249
Cut Elimination for Monomial MALL Proof Nets	241
Non-commutative proof construction: a constraint-based approach	236
Construction of retractile proof structures	236
A new correctness criterion for multiplicative non commutative proof-nets	233
Bipolar Proof Nets for MALL	202
Construction of Bipolar Focussing Proof Structures	197
Contractible Proof Structures	191
Interactive correctness criterion for multiplicative-additive proof-nets	188
Focalizzazione delle prove in logica non-commutativa	187
Cut Elimination for Monomial Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic	175
Generalized connectives for multiplicative linear logic	175
Transactional Nets	171
A Proof of the Focusing Theorem via MALL Proof Nets	88
Probabilistic logic programming with multiplicative modules	80
Logic Programming with Multiplicative Structures	69
Bayesian Proof Nets	19
Totale	4.992

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2020/2021	329	0	0	0	0	0	64	87	56	56	37	19	10
2021/2022	336	24	40	4	11	55	9	42	9	20	5	71	46
2022/2023	407	42	96	20	50	35	68	1	45	38	2	7	3
2023/2024	83	11	13	7	7	11	11	1	2	1	7	0	12
2024/2025	755	8	15	46	11	6	37	293	160	67	23	42	47
2025/2026	663	96	128	61	121	186	71	0	0	0	0	0	0
Totale													4.992

Benvenuti nell'Anagrafe della Ricerca d'Ateneo