FIORINO, GUIDO
 Distribuzione geografica
Continente #
NA - Nord America 696
EU - Europa 347
AS - Asia 226
SA - Sud America 17
AF - Africa 7
Continente sconosciuto - Info sul continente non disponibili 2
Totale 1.295
Nazione #
US - Stati Uniti d'America 687
IT - Italia 151
SG - Singapore 72
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
JO - Giordania 1
KH - Cambogia 1
MA - Marocco 1
MX - Messico 1
MY - Malesia 1
SN - Senegal 1
Totale 1.295
Città #
Milan 113
Fairfield 73
Ashburn 65
Chandler 62
Singapore 49
Jacksonville 47
Woodbridge 44
Dearborn 36
San Jose 29
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
Dakar 1
Des Moines 1
Düsseldorf 1
Fagnano Olona 1
Fayetteville 1
Go Vap 1
Guangzhou 1
Helena 1
Helsinki 1
Indiana 1
Jakarta 1
Jeffersonville 1
Johannesburg 1
João Pessoa 1
Juneau 1
Kocaeli 1
Kuala Lumpur 1
Kunming 1
Langfang 1
London 1
Londrina 1
Long Xuyen 1
Maracaibo 1
Totale 985
Nome #
Tableau calculi for the logics of finite k-ary trees 205
A decidable constructive description logic 198
fCube: An Efficient Prover for Intuitionistic Propositional Logic 190
A Tableau Calculus for Propositional Intuitionistic Logic with a Refined Treatment of Nested Implications 154
Proof-search in Hilbert calculi 150
BCDL: Basic Constructive Description Logic 127
Forward countermodel construction in modal Logic K 124
null 92
On the complexity of disjunction and explicit definability properties in some intermediate logics 58
Totale 1.298
Categoria #
all - tutte 4.794
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 4.794


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202140 0 0 0 0 0 0 0 0 0 8 14 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/2026333 28 14 24 61 75 27 55 12 26 11 0 0
Totale 1.298