Bicocca Open Archive

Logo unimib boa
FIORINO, GUIDO GIUSEPPE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.305
AS - Asia 2.749
EU - Europa 2.118
SA - Sud America 278
Continente sconosciuto - Info sul continente non disponibili 262
AF - Africa 53
OC - Oceania 7
Totale 10.772
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.981
SG - Singapore 956
CN - Cina 626
IT - Italia 422
VN - Vietnam 379
HK - Hong Kong 347
RU - Federazione Russa 302
SE - Svezia 292
CA - Canada 284
DE - Germania 264
UA - Ucraina 207
BR - Brasile 203
IE - Irlanda 153
GB - Regno Unito 128
BD - Bangladesh 110
KR - Corea 97
DK - Danimarca 96
FR - Francia 78
IN - India 68
FI - Finlandia 46
NL - Olanda 38
AR - Argentina 26
TR - Turchia 23
IQ - Iraq 22
ID - Indonesia 19
JP - Giappone 18
MX - Messico 17
ZA - Sudafrica 15
BE - Belgio 14
CO - Colombia 14
PH - Filippine 13
VE - Venezuela 13
PK - Pakistan 12
SA - Arabia Saudita 12
CH - Svizzera 11
AT - Austria 10
ES - Italia 10
CZ - Repubblica Ceca 9
EC - Ecuador 8
MA - Marocco 8
GR - Grecia 7
JM - Giamaica 7
KE - Kenya 7
PT - Portogallo 7
AU - Australia 6
PL - Polonia 6
UZ - Uzbekistan 6
MY - Malesia 5
OM - Oman 5
IR - Iran 4
KZ - Kazakistan 4
LT - Lituania 4
NI - Nicaragua 4
PE - Perù 4
CR - Costa Rica 3
DZ - Algeria 3
HN - Honduras 3
HU - Ungheria 3
IL - Israele 3
JO - Giordania 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
EG - Egitto 2
ET - Etiopia 2
EU - Europa 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
PR - Porto Rico 1
Totale 10.510
Salva come PNG Salva come JPEG
Città #
Ann Arbor 844
Singapore 414
Woodbridge 412
Ashburn 402
Hong Kong 339
Houston 291
Fairfield 279
Chandler 254
San Jose 246
Jacksonville 218
Frankfurt am Main 217
Wilmington 216
Toronto 204
Dublin 150
Dearborn 149
Santa Clara 124
Ho Chi Minh City 103
Seattle 103
Nanjing 100
New York 97
Hefei 87
Milan 85
Princeton 84
Cambridge 81
The Dalles 79
Seoul 73
Chicago 58
Beijing 57
Los Angeles 57
Hanoi 56
Council Bluffs 49
Rome 42
Shanghai 42
Lauterbourg 38
Dong Ket 32
Lachine 32
Dallas 31
Lawrence 31
Buffalo 30
Nanchang 29
São Paulo 26
Altamura 25
Boardman 25
Daejeon 22
Guangzhou 21
Philadelphia 20
Andover 19
San Diego 19
Da Nang 18
Kunming 16
Montreal 15
Moscow 15
Shenyang 15
Tokyo 15
Brussels 14
Helsinki 14
Palermo 13
London 12
Ottawa 12
Changsha 11
Edmonton 11
Hebei 11
Rotterdam 11
Baghdad 10
Haiphong 10
Jakarta 10
Johannesburg 10
Ningbo 10
Orem 10
Springfield 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
Naples 7
Riyadh 7
San Francisco 7
Zhengzhou 7
Zurich 7
Belo Horizonte 6
Dhaka 6
Fremont 6
Jinan 6
Kiev 6
Nuremberg 6
Pune 6
Turin 6
University Park 6
Washington 6
Buenos Aires 5
Caracas 5
Totale 6.891
Salva come PNG Salva come JPEG
Nome #
Optimization techniques for intuitionistic propositional logic and their implementation 436
A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications 424
An evaluation-driven decision procedure for G3i 401
JTabWb: A Java Framework for Implementing Terminating Sequent and Tableau Calculi 396
A new a O(n log n)-SPACE decision procedure for propositional intuitionistic logic 348
A Sequent Based On-the-fly Procedure to Get Hilbert Proofs in Classical Propositional Logic 348
Forward countermodel construction in modal Logic K 324
Improvements to the tableau prover PITP 313
A space efficient implementation of a tableau calculus for a logic with a constructive negation 306
Proof-search in Hilbert calculi 297
ESBC: an application for computing stabilization bounds 290
On the complexity of the disjunction property in intuitionistic and modal logics 274
A tableau decision procedure for propositional intuitionistic logic 274
JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi 263
Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus 261
A secondary semantics for second order intuitionistic propositional logic 247
ESBC: an application for computing stabilization bouns 245
A new a O(n log n)-SPACE decision procedure for propositional intuitionistic logic 242
Towards a tableau-based procedure for PLTL based on a multi-conclusion rule and logical optimizations 239
On the complexity of disjunction and explicit definability properties in some intermediate logics 237
Space-efficient decision procedures for three interpolable propositional intermediate logics 235
Simplification Rules for Intuitionistic Propositional Tableaux 235
Tableau calculi for the logics of finite k-ary trees 232
Efficient learning with equivalence queries of conjunctions of modulo functions 230
A non-clausal tableau calculus for MINSAT 229
A Terminating Evaluation-Driven Variant of G3i 227
An implementation of a O(n log n)-SPACE decision procedure for propositional intuitionistic logic 226
A Parallel Implementation of a Decision Procedure for Propositional Intuitionistic Logic 220
Contraction-Free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models 218
fCube: An Efficient Prover for Intuitionistic Propositional Logic 217
Terminating Calculi for Propositional Dummett Logic with Subformula Property 216
Refutation in Dummett Logic Using a Sign to Express the Truth at the Next Possible World 208
BCDL: Basic Constructive Description Logic 203
How to reduce backtracking in propositional intuitionistic logic 201
Towards the use of simplification rules in intuitionistic tableaux 192
An O(n log n)-SPACE decision procedure for the propositional Dummett Logic 186
A Decidable Constructive Description Logic 184
New Tableau Characterizations for Non-clausal MaxSAT Problem 183
A constructive semantics for ALC 176
Linear Depth Deduction with Subformula Property for Intuitionistic Epistemic Logic 169
Taming Implications in Dummett Logic 166
Linear Depth Deduction with Subformula Property for Intuitionistic Epistemic Logic 165
New tableau characterizations for non-clausal regular MinSAT and MaxSAT problems 89
Totale 10.772
Salva come PNG Salva come JPEG
Categoria #
all - tutte 33.451
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 33.451
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022583 0 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/20263.243 346 193 193 243 293 155 555 134 300 257 364 210
2026/2027147 92 55 0 0 0 0 0 0 0 0 0 0
Totale 10.772