FIORINO, GUIDO
 Distribuzione geografica
Continente #
NA - Nord America 716
EU - Europa 347
AS - Asia 227
SA - Sud America 17
AF - Africa 7
Continente sconosciuto - Info sul continente non disponibili 2
Totale 1.316
Nazione #
US - Stati Uniti d'America 706
IT - Italia 151
SG - Singapore 73
UA - Ucraina 60
CN - Cina 48
SE - Svezia 43
VN - Vietnam 37
TR - Turchia 29
HK - Hong Kong 28
DE - Germania 22
GB - Regno Unito 16
BR - Brasile 15
FI - Finlandia 14
IE - Irlanda 14
FR - Francia 9
CA - Canada 8
RU - Federazione Russa 7
IN - India 4
BE - Belgio 3
NL - Olanda 3
PL - Polonia 3
ZA - Sudafrica 3
BD - Bangladesh 2
DZ - Algeria 2
ES - Italia 2
EU - Europa 2
JP - Giappone 2
VE - Venezuela 2
ID - Indonesia 1
JM - Giamaica 1
JO - Giordania 1
KH - Cambogia 1
MA - Marocco 1
MX - Messico 1
MY - Malesia 1
SN - Senegal 1
Totale 1.316
Città #
Milan 113
Fairfield 73
Ashburn 65
Chandler 62
Singapore 49
Jacksonville 47
Woodbridge 44
San Jose 39
Dearborn 36
Hong Kong 28
Cambridge 26
Seattle 26
Nyköping 23
The Dalles 23
Dallas 22
Wilmington 21
Ann Arbor 20
Houston 18
Izmir 18
Dublin 14
Princeton 14
Beijing 13
Los Angeles 13
Dong Ket 11
Boardman 10
Council Bluffs 6
Lauterbourg 6
San Mateo 6
Chicago 5
Como 5
Frankfurt am Main 5
Ho Chi Minh City 5
Orem 5
Washington 5
Chennai 4
New York 4
Phoenix 4
Rome 4
Amsterdam 3
Atlanta 3
Berlin 3
Brussels 3
Buffalo 3
Columbus 3
Denver 3
Hangzhou 3
Hanoi 3
São Paulo 3
Verona 3
Warsaw 3
Ankara 2
Aracaju 2
Augusta 2
Boston 2
Brooklyn 2
Elk Grove Village 2
Haiphong 2
Hefei 2
Liscate 2
Manchester 2
Munich 2
Norwalk 2
Santa Clara 2
Stockholm 2
Tianjin 2
Tokyo 2
Vancouver 2
Acton 1
Algiers 1
Araure 1
Brasília 1
Cachoeiro de Itapemirim 1
Calgary 1
Cape Town 1
Caxias do Sul 1
Charlotte 1
Chiswick 1
Clarksville 1
Dakar 1
Des Moines 1
Düsseldorf 1
Fagnano Olona 1
Fayetteville 1
Florence 1
Fort Drum 1
Fountain 1
Go Vap 1
Guangzhou 1
Helena 1
Helsinki 1
Indiana 1
Jakarta 1
Jeffersonville 1
Johannesburg 1
João Pessoa 1
Juneau 1
Kingston 1
Kocaeli 1
Kuala Lumpur 1
Kunming 1
Totale 995
Nome #
Tableau calculi for the logics of finite k-ary trees 208
A decidable constructive description logic 200
fCube: An Efficient Prover for Intuitionistic Propositional Logic 194
A Tableau Calculus for Propositional Intuitionistic Logic with a Refined Treatment of Nested Implications 156
Proof-search in Hilbert calculi 153
BCDL: Basic Constructive Description Logic 130
Forward countermodel construction in modal Logic K 126
null 92
On the complexity of disjunction and explicit definability properties in some intermediate logics 60
Totale 1.319
Categoria #
all - tutte 5.027
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 5.027


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202118 0 0 0 0 0 0 0 0 0 0 0 18
2021/202289 19 2 6 11 5 5 1 5 1 14 9 11
2022/2023129 10 15 9 15 14 24 0 21 12 3 5 1
2023/2024193 28 29 31 46 38 19 0 1 1 0 0 0
2024/202591 0 1 16 0 3 13 0 1 8 6 11 32
2025/2026354 28 14 24 61 75 27 55 12 26 19 9 4
Totale 1.319