statistiche ricercatore

Continente	#
NA - Nord America	1.180
EU - Europa	1.006
AS - Asia	596
SA - Sud America	109
AF - Africa	15
Continente sconosciuto - Info sul continente non disponibili	13
OC - Oceania	7
Totale	2.926

Nazione	#
US - Stati Uniti d'America	1.133
RU - Federazione Russa	355
SG - Singapore	256
GB - Regno Unito	223
CN - Cina	148
IT - Italia	97
BR - Brasile	86
FR - Francia	73
VN - Vietnam	60
FI - Finlandia	53
SE - Svezia	47
DE - Germania	45
HK - Hong Kong	38
IE - Irlanda	33
CA - Canada	25
KR - Corea	19
UA - Ucraina	18
ID - Indonesia	15
BD - Bangladesh	14
BE - Belgio	13
IN - India	13
AT - Austria	12
CZ - Repubblica Ceca	12
NG - Nigeria	10
AR - Argentina	8
JP - Giappone	8
NL - Olanda	8
AU - Australia	7
CR - Costa Rica	6
CW - ???statistics.table.value.countryCode.CW???	5
EC - Ecuador	5
ES - Italia	5
MX - Messico	4
CH - Svizzera	3
EE - Estonia	3
GT - Guatemala	3
IQ - Iraq	3
NI - Nicaragua	3
TR - Turchia	3
UZ - Uzbekistan	3
CL - Cile	2
CO - Colombia	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
BS - Bahamas	1
BY - Bielorussia	1
GR - Grecia	1
HN - Honduras	1
KE - Kenya	1
KZ - Kazakistan	1
MY - Malesia	1
PH - Filippine	1
PS - Palestinian Territory	1
RO - Romania	1
SA - Arabia Saudita	1
SV - El Salvador	1
SY - Repubblica araba siriana	1
Totale	2.918

Nome	#
Extended Curry-Howard Correspondence for a Basic Constructive Modal Logic	369
Herbrand's Theorem for Calculi of Sequents LK and LJ	199
Subnets of Proof-nets in MLL-	172
Planar and Braided Proof-nets for MLL with Mix	171
Categorical Proof Theory of Classical Propositional Calculus	155
Logic for pragmatics	151
A system of natural deduction for GL	148
Towards a logic for pragmatics. Assertions and conjectures.	143
Subnets of Proof-nets in multiplicative linear logic with MIX	142
Ramsey Interpreted: A Parametric Version of Ramsey's Theorem	137
A decision procedure revisited: Notes on direct logic, linear logic and its implementation	133
A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILP	133
Chu's construction: a proof-theoretic approach	132
On the π-calculus and Co-intuitionistic Logic. Notes on Logic for Concurrency and λP Systems	131
Two paradigms of logical computation in affine logic?	128
On the Pi-calculus and linear logic	126
A Pragmatic Interpretation Of Substructural Logics	125
Assertions, hypotheses, conjectures, expectations: Rough-set semantics and proof-theory	117
Categorical Proof Theory of Co-Intuitionistic Linear Logic	114
Totale	2.926

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2021/2022	94	0	0	0	0	3	7	1	7	2	4	21	49
2022/2023	307	22	21	40	37	46	61	0	25	39	5	9	2
2023/2024	137	8	9	15	20	20	4	1	28	5	10	10	7
2024/2025	349	22	30	7	93	15	5	11	35	44	25	10	52
2025/2026	1.081	77	48	88	185	223	43	73	59	150	67	35	33
2026/2027	246	23	20	57	139	7	0	0	0	0	0	0	0
Totale													2.926

CATALOGO DEI PRODOTTI DELLA RICERCA