FIORINO, GUIDO
 Distribuzione geografica
Continente #
NA - Nord America 634
EU - Europa 333
AS - Asia 184
SA - Sud America 14
AF - Africa 2
Continente sconosciuto - Info sul continente non disponibili 2
Totale 1.169
Nazione #
US - Stati Uniti d'America 626
IT - Italia 150
SG - Singapore 62
UA - Ucraina 60
SE - Svezia 43
CN - Cina 31
TR - Turchia 29
HK - Hong Kong 28
VN - Vietnam 27
DE - Germania 21
GB - Regno Unito 15
FI - Finlandia 14
IE - Irlanda 14
BR - Brasile 13
CA - Canada 7
RU - Federazione Russa 7
BE - Belgio 3
PL - Polonia 3
ES - Italia 2
EU - Europa 2
JP - Giappone 2
BD - Bangladesh 1
DZ - Algeria 1
FR - Francia 1
ID - Indonesia 1
IN - India 1
KH - Cambogia 1
MX - Messico 1
MY - Malesia 1
VE - Venezuela 1
ZA - Sudafrica 1
Totale 1.169
Città #
Milan 112
Fairfield 73
Chandler 62
Ashburn 61
Jacksonville 47
Woodbridge 44
Singapore 40
Dearborn 36
Hong Kong 28
Cambridge 26
Seattle 26
Nyköping 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
The Dalles 7
Council Bluffs 6
San Mateo 6
Como 5
Washington 5
Chicago 4
Frankfurt am Main 4
New York 4
Phoenix 4
Rome 4
Atlanta 3
Berlin 3
Brussels 3
Buffalo 3
Columbus 3
Ho Chi Minh City 3
São Paulo 3
Verona 3
Warsaw 3
Ankara 2
Augusta 2
Boston 2
Denver 2
Hefei 2
Liscate 2
Manchester 2
Munich 2
Norwalk 2
Orem 2
Santa Clara 2
Stockholm 2
Tokyo 2
Vancouver 2
Acton 1
Aracaju 1
Brasília 1
Brooklyn 1
Cachoeiro de Itapemirim 1
Calgary 1
Caxias do Sul 1
Charlotte 1
Chennai 1
Chiswick 1
Des Moines 1
Düsseldorf 1
Fagnano Olona 1
Fayetteville 1
Guangzhou 1
Hanoi 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
Maracaibo 1
Marituba 1
Mexico City 1
Nanchang 1
Nanjing 1
Nova Friburgo 1
Ogden 1
Olympia 1
Oxford 1
Passaic 1
Phnom Penh 1
Poplar 1
Prescot 1
San Diego 1
Totale 900
Nome #
Tableau calculi for the logics of finite k-ary trees 184
A decidable constructive description logic 182
fCube: An Efficient Prover for Intuitionistic Propositional Logic 164
A Tableau Calculus for Propositional Intuitionistic Logic with a Refined Treatment of Nested Implications 143
Proof-search in Hilbert calculi 137
BCDL: Basic Constructive Description Logic 114
Forward countermodel construction in modal Logic K 109
null 92
On the complexity of disjunction and explicit definability properties in some intermediate logics 47
Totale 1.172
Categoria #
all - tutte 4.497
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.497


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202187 0 0 0 0 0 9 8 8 22 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/2026207 28 14 24 61 75 5 0 0 0 0 0 0
Totale 1.172