Bicocca Open Archive

Logo unimib boa
FIORINO, GUIDO GIUSEPPE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.381
AS - Asia 2.003
EU - Europa 1.842
SA - Sud America 210
AF - Africa 22
OC - Oceania 5
Continente sconosciuto - Info sul continente non disponibili 3
Totale 8.466
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.290
SG - Singapore 786
CN - Cina 574
HK - Hong Kong 332
RU - Federazione Russa 300
SE - Svezia 291
DE - Germania 254
IT - Italia 238
UA - Ucraina 205
BR - Brasile 173
IE - Irlanda 153
VN - Vietnam 138
GB - Regno Unito 119
DK - Danimarca 96
CA - Canada 73
KR - Corea 71
FI - Finlandia 42
NL - Olanda 35
FR - Francia 33
IN - India 23
AR - Argentina 17
BE - Belgio 14
BD - Bangladesh 13
ID - Indonesia 12
TR - Turchia 12
ZA - Sudafrica 12
CH - Svizzera 11
JP - Giappone 11
MX - Messico 11
AT - Austria 10
CZ - Repubblica Ceca 8
ES - Italia 6
GR - Grecia 6
VE - Venezuela 6
CO - Colombia 5
IQ - Iraq 5
KE - Kenya 5
PL - Polonia 5
PT - Portogallo 5
AU - Australia 4
IR - Iran 4
SA - Arabia Saudita 4
HU - Ungheria 3
IL - Israele 3
LT - Lituania 3
PK - Pakistan 3
PY - Paraguay 3
CR - Costa Rica 2
EC - Ecuador 2
EU - Europa 2
HN - Honduras 2
IS - Islanda 2
KZ - Kazakistan 2
LB - Libano 2
MA - Marocco 2
OM - Oman 2
PE - Perù 2
SN - Senegal 2
UZ - Uzbekistan 2
A1 - Anonimo 1
AE - Emirati Arabi Uniti 1
BG - Bulgaria 1
CL - Cile 1
FK - Isole Falkland (Malvinas) 1
GT - Guatemala 1
LK - Sri Lanka 1
MY - Malesia 1
NI - Nicaragua 1
NP - Nepal 1
NZ - Nuova Zelanda 1
PA - Panama 1
RO - Romania 1
SC - Seychelles 1
SK - Slovacchia (Repubblica Slovacca) 1
Totale 8.466
Salva come PNG Salva come JPEG
Città #
Ann Arbor 844
Woodbridge 412
Singapore 355
Hong Kong 331
Ashburn 322
Houston 289
Fairfield 279
Chandler 254
Jacksonville 218
Wilmington 216
Frankfurt am Main 210
Dublin 150
Dearborn 149
Santa Clara 113
Seattle 101
Nanjing 100
Hefei 87
Princeton 82
Cambridge 81
New York 80
Beijing 51
Seoul 48
Milan 46
Los Angeles 41
Shanghai 41
Dong Ket 32
Lachine 32
The Dalles 32
Lawrence 31
Nanchang 29
Council Bluffs 27
Altamura 25
Dallas 25
Boardman 24
Buffalo 22
Daejeon 22
São Paulo 22
Guangzhou 21
Andover 19
Ho Chi Minh City 19
Rome 19
San Diego 18
Philadelphia 17
Kunming 16
Moscow 15
Shenyang 15
Brussels 14
Palermo 13
Chicago 12
Ottawa 12
Changsha 11
Edmonton 11
Hanoi 11
Hebei 11
London 11
Rotterdam 11
Helsinki 10
Ningbo 10
Tianjin 10
Tokyo 10
Toronto 10
Huizen 9
Jakarta 9
Jiaxing 9
Norwalk 8
Hangzhou 7
Johannesburg 7
Montreal 7
Stockholm 7
Zhengzhou 7
Zurich 7
Belo Horizonte 6
Fremont 6
Jinan 6
Kiev 6
Nuremberg 6
University Park 6
Atlanta 5
Mountain View 5
Nairobi 5
Rio de Janeiro 5
Tampa 5
Warsaw 5
Ankara 4
Da Nang 4
Denver 4
Fuzhou 4
Groningen 4
León 4
Nardò 4
Olomouc 4
Poplar 4
Porto Alegre 4
Pune 4
Salt Lake City 4
San Francisco 4
Teresópolis 4
Vienna 4
Washington 4
Baghdad 3
Totale 5.759
Salva come PNG Salva come JPEG
Nome #
A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications 384
Optimization techniques for intuitionistic propositional logic and their implementation 375
JTabWb: A Java Framework for Implementing Terminating Sequent and Tableau Calculi 347
An evaluation-driven decision procedure for G3i 337
A Sequent Based On-the-fly Procedure to Get Hilbert Proofs in Classical Propositional Logic 291
A new a O(n log n)-SPACE decision procedure for propositional intuitionistic logic 288
Forward countermodel construction in modal Logic K 284
Proof-search in Hilbert calculi 265
Improvements to the tableau prover PITP 248
A space efficient implementation of a tableau calculus for a logic with a constructive negation 241
ESBC: an application for computing stabilization bounds 239
A tableau decision procedure for propositional intuitionistic logic 226
On the complexity of the disjunction property in intuitionistic and modal logics 221
A secondary semantics for second order intuitionistic propositional logic 213
Efficient learning with equivalence queries of conjunctions of modulo functions 207
Tableau calculi for the logics of finite k-ary trees 204
On the complexity of disjunction and explicit definability properties in some intermediate logics 203
Simplification Rules for Intuitionistic Propositional Tableaux 202
Towards a tableau-based procedure for PLTL based on a multi-conclusion rule and logical optimizations 202
A new a O(n log n)-SPACE decision procedure for propositional intuitionistic logic 201
ESBC: an application for computing stabilization bouns 198
An implementation of a O(n log n)-SPACE decision procedure for propositional intuitionistic logic 194
Space-efficient decision procedures for three interpolable propositional intermediate logics 193
Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus 190
Contraction-Free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models 183
JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi 181
fCube: An Efficient Prover for Intuitionistic Propositional Logic 176
A non-clausal tableau calculus for MINSAT 172
A Parallel Implementation of a Decision Procedure for Propositional Intuitionistic Logic 170
Terminating Calculi for Propositional Dummett Logic with Subformula Property 168
How to reduce backtracking in propositional intuitionistic logic 164
A Decidable Constructive Description Logic 160
New Tableau Characterizations for Non-clausal MaxSAT Problem 160
A Terminating Evaluation-Driven Variant of G3i 159
Refutation in Dummett Logic Using a Sign to Express the Truth at the Next Possible World 156
An O(n log n)-SPACE decision procedure for the propositional Dummett Logic 155
BCDL: Basic Constructive Description Logic 144
Towards the use of simplification rules in intuitionistic tableaux 142
A constructive semantics for ALC 134
Taming Implications in Dummett Logic 129
Linear Depth Deduction with Subformula Property for Intuitionistic Epistemic Logic 112
Linear Depth Deduction with Subformula Property for Intuitionistic Epistemic Logic 103
Totale 8.721
Salva come PNG Salva come JPEG
Categoria #
all - tutte 27.774
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 27.774
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021685 0 0 0 0 0 75 92 78 104 102 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/20261.339 346 193 193 243 293 71 0 0 0 0 0 0
Totale 8.721