Bicocca Open Archive

Logo unimib boa
FIORINO, GUIDO GIUSEPPE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.899
AS - Asia 2.657
EU - Europa 1.947
SA - Sud America 276
AF - Africa 53
OC - Oceania 7
Continente sconosciuto - Info sul continente non disponibili 4
Totale 9.843
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.791
SG - Singapore 951
CN - Cina 622
VN - Vietnam 379
HK - Hong Kong 346
RU - Federazione Russa 302
SE - Svezia 292
DE - Germania 263
IT - Italia 257
UA - Ucraina 207
BR - Brasile 202
IE - Irlanda 153
GB - Regno Unito 127
DK - Danimarca 96
KR - Corea 96
CA - Canada 79
FR - Francia 78
IN - India 68
FI - Finlandia 46
NL - Olanda 38
BD - Bangladesh 30
AR - Argentina 26
TR - Turchia 23
IQ - Iraq 22
ID - Indonesia 19
JP - Giappone 17
MX - Messico 15
ZA - Sudafrica 15
BE - Belgio 14
CO - Colombia 13
PH - Filippine 13
VE - Venezuela 13
PK - Pakistan 12
SA - Arabia Saudita 12
CH - Svizzera 11
AT - Austria 10
ES - Italia 9
CZ - Repubblica Ceca 8
EC - Ecuador 8
MA - Marocco 8
GR - Grecia 7
KE - Kenya 7
AU - Australia 6
PL - Polonia 6
PT - Portogallo 6
UZ - Uzbekistan 6
MY - Malesia 5
OM - Oman 5
IR - Iran 4
JM - Giamaica 4
KZ - Kazakistan 4
PE - Perù 4
DZ - Algeria 3
HU - Ungheria 3
IL - Israele 3
JO - Giordania 3
LT - Lituania 3
NI - Nicaragua 3
NP - Nepal 3
PS - Palestinian Territory 3
PY - Paraguay 3
SN - Senegal 3
TN - Tunisia 3
AE - Emirati Arabi Uniti 2
AO - Angola 2
BO - Bolivia 2
CI - Costa d'Avorio 2
CL - Cile 2
CR - Costa Rica 2
EG - Egitto 2
ET - Etiopia 2
EU - Europa 2
HN - Honduras 2
IS - Islanda 2
LB - Libano 2
LY - Libia 2
RO - Romania 2
SC - Seychelles 2
TH - Thailandia 2
UY - Uruguay 2
A1 - Anonimo 1
BG - Bulgaria 1
BS - Bahamas 1
CV - Capo Verde 1
EE - Estonia 1
FK - Isole Falkland (Malvinas) 1
GT - Guatemala 1
KH - Cambogia 1
KW - Kuwait 1
LK - Sri Lanka 1
LV - Lettonia 1
MD - Moldavia 1
ME - Montenegro 1
MK - Macedonia 1
MM - Myanmar 1
MN - Mongolia 1
NG - Nigeria 1
NZ - Nuova Zelanda 1
PA - Panama 1
SK - Slovacchia (Repubblica Slovacca) 1
Totale 9.842
Salva come PNG Salva come JPEG
Città #
Ann Arbor 844
Singapore 414
Woodbridge 412
Ashburn 384
Hong Kong 338
Houston 290
Fairfield 279
Chandler 254
San Jose 236
Jacksonville 218
Frankfurt am Main 216
Wilmington 216
Dublin 150
Dearborn 149
Santa Clara 115
Ho Chi Minh City 103
Seattle 101
Nanjing 100
New York 91
Hefei 87
Princeton 82
Cambridge 81
The Dalles 79
Seoul 72
Chicago 57
Beijing 56
Hanoi 56
Milan 51
Los Angeles 49
Council Bluffs 41
Shanghai 41
Lauterbourg 38
Dong Ket 32
Lachine 32
Lawrence 31
Nanchang 29
Dallas 28
São Paulo 26
Altamura 25
Boardman 24
Rome 23
Buffalo 22
Daejeon 22
Guangzhou 21
Andover 19
San Diego 19
Da Nang 18
Philadelphia 17
Kunming 16
Moscow 15
Shenyang 15
Tokyo 15
Brussels 14
Helsinki 14
Palermo 13
Montreal 12
Ottawa 12
Changsha 11
Edmonton 11
Hebei 11
London 11
Rotterdam 11
Toronto 11
Baghdad 10
Haiphong 10
Jakarta 10
Johannesburg 10
Ningbo 10
Orem 10
Tianjin 10
Huizen 9
Jiaxing 9
Biên Hòa 8
Norwalk 8
Stockholm 8
Atlanta 7
Chennai 7
Denver 7
Hangzhou 7
Hải Dương 7
Mumbai 7
Nairobi 7
Riyadh 7
Zhengzhou 7
Zurich 7
Belo Horizonte 6
Dhaka 6
Fremont 6
Jinan 6
Kiev 6
Nuremberg 6
Pune 6
San Francisco 6
University Park 6
Buenos Aires 5
Caracas 5
Mountain View 5
Porto Alegre 5
Quận Ba 5
Rio de Janeiro 5
Totale 6.546
Salva come PNG Salva come JPEG
Nome #
Optimization techniques for intuitionistic propositional logic and their implementation 420
A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications 414
JTabWb: A Java Framework for Implementing Terminating Sequent and Tableau Calculi 375
An evaluation-driven decision procedure for G3i 368
A new a O(n log n)-SPACE decision procedure for propositional intuitionistic logic 333
A Sequent Based On-the-fly Procedure to Get Hilbert Proofs in Classical Propositional Logic 330
Forward countermodel construction in modal Logic K 313
A space efficient implementation of a tableau calculus for a logic with a constructive negation 293
Improvements to the tableau prover PITP 292
Proof-search in Hilbert calculi 284
ESBC: an application for computing stabilization bounds 282
A tableau decision procedure for propositional intuitionistic logic 265
On the complexity of the disjunction property in intuitionistic and modal logics 255
JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi 243
A secondary semantics for second order intuitionistic propositional logic 232
ESBC: an application for computing stabilization bouns 232
Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus 232
A new a O(n log n)-SPACE decision procedure for propositional intuitionistic logic 230
Simplification Rules for Intuitionistic Propositional Tableaux 230
Towards a tableau-based procedure for PLTL based on a multi-conclusion rule and logical optimizations 227
Efficient learning with equivalence queries of conjunctions of modulo functions 226
Tableau calculi for the logics of finite k-ary trees 222
On the complexity of disjunction and explicit definability properties in some intermediate logics 219
An implementation of a O(n log n)-SPACE decision procedure for propositional intuitionistic logic 218
A non-clausal tableau calculus for MINSAT 216
Contraction-Free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models 212
A Parallel Implementation of a Decision Procedure for Propositional Intuitionistic Logic 210
Space-efficient decision procedures for three interpolable propositional intermediate logics 208
A Terminating Evaluation-Driven Variant of G3i 208
Terminating Calculi for Propositional Dummett Logic with Subformula Property 195
fCube: An Efficient Prover for Intuitionistic Propositional Logic 193
How to reduce backtracking in propositional intuitionistic logic 192
Refutation in Dummett Logic Using a Sign to Express the Truth at the Next Possible World 189
A Decidable Constructive Description Logic 182
Towards the use of simplification rules in intuitionistic tableaux 180
BCDL: Basic Constructive Description Logic 179
An O(n log n)-SPACE decision procedure for the propositional Dummett Logic 178
New Tableau Characterizations for Non-clausal MaxSAT Problem 178
A constructive semantics for ALC 165
Linear Depth Deduction with Subformula Property for Intuitionistic Epistemic Logic 153
Taming Implications in Dummett Logic 147
Linear Depth Deduction with Subformula Property for Intuitionistic Epistemic Logic 142
New tableau characterizations for non-clausal regular MinSAT and MaxSAT problems 39
Totale 10.101
Salva come PNG Salva come JPEG
Categoria #
all - tutte 30.598
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 30.598
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021234 0 0 0 0 0 0 0 0 0 0 87 147
2021/2022639 56 96 103 54 13 51 42 20 31 30 44 99
2022/20231.058 123 288 107 86 77 168 8 55 81 26 35 4
2023/2024580 26 19 33 55 80 120 76 29 47 10 27 58
2024/20251.399 99 162 19 39 104 84 64 87 51 177 183 330
2025/20262.719 346 193 193 243 293 155 555 134 300 257 50 0
Totale 10.101