statistiche ricercatore

Continente	#
NA - Nord America	1.270
AS - Asia	394
EU - Europa	275
SA - Sud America	84
Continente sconosciuto - Info sul continente non disponibili	15
AF - Africa	5
Totale	2.043

Nazione	#
US - Stati Uniti d'America	1.242
SG - Singapore	192
CN - Cina	79
BR - Brasile	63
IT - Italia	57
UA - Ucraina	56
DE - Germania	47
VN - Vietnam	43
RU - Federazione Russa	30
HK - Hong Kong	28
FI - Finlandia	21
FR - Francia	16
CA - Canada	14
IN - India	12
IE - Irlanda	11
GB - Regno Unito	10
AR - Argentina	9
BD - Bangladesh	6
TR - Turchia	6
PK - Pakistan	5
CO - Colombia	4
CR - Costa Rica	4
EC - Ecuador	4
KR - Corea	4
BE - Belgio	3
CZ - Repubblica Ceca	3
ES - Italia	3
ID - Indonesia	3
IL - Israele	3
LT - Lituania	3
PL - Polonia	3
SE - Svezia	3
ZA - Sudafrica	3
IQ - Iraq	2
JM - Giamaica	2
JP - Giappone	2
MX - Messico	2
NI - Nicaragua	2
PY - Paraguay	2
AE - Emirati Arabi Uniti	1
AT - Austria	1
AZ - Azerbaigian	1
BG - Bulgaria	1
BO - Bolivia	1
CH - Svizzera	1
CL - Cile	1
CW - ???statistics.table.value.countryCode.CW???	1
DK - Danimarca	1
EE - Estonia	1
EG - Egitto	1
EU - Europa	1
GP - Guadalupe	1
HN - Honduras	1
JO - Giordania	1
KG - Kirghizistan	1
KW - Kuwait	1
LB - Libano	1
LV - Lettonia	1
MA - Marocco	1
NL - Olanda	1
NP - Nepal	1
PH - Filippine	1
PR - Porto Rico	1
RO - Romania	1
RS - Serbia	1
SA - Arabia Saudita	1
SV - El Salvador	1
Totale	2.030

Nome	#
A Decidable Spatial Logic with Cone-shaped Cardinal Directions	266
An optimal tableau for Right Propositional Neighborhood Logic over trees	234
Tableau Systems for Logics of Subinterval Structures over Dense Orderings	222
Tableaux for logics of subinterval structures over dense orderings	201
An Optimal Tableau-based Decision Algorithm for Propositional Neighborhood Logic	180
A General Tableau Method for Propositional Interval Temporal Logics: Theory and Implementation	179
Optimal tableaux for Right Propositional Neighborhood Logic over Linear Orders	178
Tableau-Based System for Spatial Reasoning about Directional Relations	170
Decidability of the interval temporal logic ABB* over the natural numbers	166
Beyond $omega BS$-regular Languages: $omegaT$-regular Expressions and Counter-Check Automata	124
Beyond omega-regular languages: omegaT-regular expressions and their automata and logic counterparts	123
Totale	2.043

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2021/2022	86	0	0	0	0	0	4	9	4	3	17	37	12
2022/2023	114	15	8	8	10	12	27	0	12	15	2	3	2
2023/2024	39	10	1	1	1	0	6	0	4	4	2	0	10
2024/2025	266	16	13	14	19	7	5	16	13	25	20	37	81
2025/2026	449	61	43	48	53	62	26	27	16	34	38	28	13
2026/2027	147	9	35	47	41	15	0	0	0	0	0	0	0
Totale													2.043