FIORINO, GUIDO
 Distribuzione geografica
Continente #
NA - Nord America 738
EU - Europa 348
AS - Asia 228
SA - Sud America 18
AF - Africa 7
Continente sconosciuto - Info sul continente non disponibili 5
Totale 1.344
Nazione #
US - Stati Uniti d'America 727
IT - Italia 151
SG - Singapore 74
UA - Ucraina 60
CN - Cina 48
SE - Svezia 44
VN - Vietnam 37
TR - Turchia 29
HK - Hong Kong 28
DE - Germania 22
BR - Brasile 16
GB - Regno Unito 16
FI - Finlandia 14
IE - Irlanda 14
CA - Canada 9
FR - Francia 9
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.341
Città #
Milan 113
Fairfield 73
Ashburn 65
Chandler 62
Singapore 50
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 19
Council Bluffs 18
Izmir 18
Dublin 14
Princeton 14
Beijing 13
Los Angeles 13
Dong Ket 11
Boardman 10
Chicago 6
Lauterbourg 6
San Mateo 6
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
Elizabethtown 1
Fagnano Olona 1
Fayetteville 1
Florence 1
Fort Drum 1
Fort Worth 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
Kissimmee 1
Totale 1.010
Nome #
Tableau calculi for the logics of finite k-ary trees 211
A decidable constructive description logic 204
fCube: An Efficient Prover for Intuitionistic Propositional Logic 195
A Tableau Calculus for Propositional Intuitionistic Logic with a Refined Treatment of Nested Implications 158
Proof-search in Hilbert calculi 156
BCDL: Basic Constructive Description Logic 132
Forward countermodel construction in modal Logic K 129
null 92
On the complexity of disjunction and explicit definability properties in some intermediate logics 67
Totale 1.344
Categoria #
all - tutte 5.219
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.219


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202270 0 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/2026355 28 14 24 61 75 27 55 12 26 19 9 5
2026/202724 6 18 0 0 0 0 0 0 0 0 0 0
Totale 1.344