Bicocca Open Archive

Logo unimib boa
FIORINO, GUIDO GIUSEPPE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.828
EU - Europa 1.590
AS - Asia 718
SA - Sud America 9
OC - Oceania 5
Continente sconosciuto - Info sul continente non disponibili 3
AF - Africa 1
Totale 6.154
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.764
CN - Cina 345
SE - Svezia 285
DE - Germania 238
IT - Italia 222
UA - Ucraina 202
SG - Singapore 155
IE - Irlanda 153
RU - Federazione Russa 144
GB - Regno Unito 102
DK - Danimarca 94
HK - Hong Kong 85
VN - Vietnam 74
CA - Canada 64
FI - Finlandia 42
NL - Olanda 32
FR - Francia 26
KR - Corea 26
BE - Belgio 14
IN - India 14
CH - Svizzera 10
BR - Brasile 7
CZ - Repubblica Ceca 7
GR - Grecia 5
ID - Indonesia 5
PT - Portogallo 5
TR - Turchia 5
AT - Austria 4
AU - Australia 4
IR - Iran 4
JP - Giappone 3
EU - Europa 2
IS - Islanda 2
A1 - Anonimo 1
BG - Bulgaria 1
FK - Isole Falkland (Malvinas) 1
HU - Ungheria 1
LK - Sri Lanka 1
MY - Malesia 1
NZ - Nuova Zelanda 1
RO - Romania 1
SC - Seychelles 1
VE - Venezuela 1
Totale 6.154
Salva come PNG Salva come JPEG
Città #
Ann Arbor 844
Woodbridge 412
Houston 287
Fairfield 279
Chandler 254
Jacksonville 217
Wilmington 215
Frankfurt am Main 208
Ashburn 163
Dublin 150
Dearborn 149
Singapore 130
Seattle 99
Nanjing 98
Hong Kong 84
Princeton 82
Cambridge 81
New York 72
Santa Clara 68
Milan 45
Shanghai 39
Dong Ket 32
Lachine 32
Lawrence 31
Nanchang 29
Altamura 25
Beijing 25
Boardman 24
Daejeon 22
Andover 19
San Diego 18
Rome 17
Guangzhou 16
Kunming 16
Philadelphia 15
Shenyang 15
Brussels 14
Ottawa 12
Palermo 12
Changsha 11
Edmonton 11
Hebei 11
Rotterdam 11
Helsinki 10
Ningbo 10
Tianjin 10
Huizen 9
Jiaxing 9
London 9
Toronto 9
Norwalk 8
Los Angeles 7
Fremont 6
Hangzhou 6
Hefei 6
Jinan 6
Kiev 6
University Park 6
Zurich 6
Jakarta 5
Mountain View 5
Zhengzhou 5
Fuzhou 4
Groningen 4
Nardò 4
Olomouc 4
Teresópolis 4
Washington 4
Brno 3
Changchun 3
Lanzhou 3
Lisbon 3
Mantova 3
Munich 3
Pavia 3
Pune 3
Salenstein 3
Seoul 3
Taizhou 3
Vailate 3
Verona 3
Vienna 3
Albiate 2
Ardea 2
Auburn Hills 2
Baltimore 2
Capannori 2
Chengdu 2
Clearwater 2
Dallas 2
Desio 2
Deurne 2
Induno Olona 2
Kashan 2
Kilburn 2
Laurel 2
Middletown 2
Pedrengo 2
Reykjavik 2
Sacramento 2
Totale 4.634
Salva come PNG Salva come JPEG
Nome #
JTabWb: A Java Framework for Implementing Terminating Sequent and Tableau Calculi 299
Optimization techniques for intuitionistic propositional logic and their implementation 296
An evaluation-driven decision procedure for G3i 284
Forward countermodel construction in modal Logic K 243
A Sequent Based On-the-fly Procedure to Get Hilbert Proofs in Classical Propositional Logic 242
Proof-search in Hilbert calculi 228
A new a O(n log n)-SPACE decision procedure for propositional intuitionistic logic 191
A secondary semantics for second order intuitionistic propositional logic 182
ESBC: an application for computing stabilization bounds 172
A space efficient implementation of a tableau calculus for a logic with a constructive negation 170
On the complexity of disjunction and explicit definability properties in some intermediate logics 170
Efficient learning with equivalence queries of conjunctions of modulo functions 169
Tableau calculi for the logics of finite k-ary trees 166
On the complexity of the disjunction property in intuitionistic and modal logics 165
Improvements to the tableau prover PITP 162
Space-efficient decision procedures for three interpolable propositional intermediate logics 159
Simplification Rules for Intuitionistic Propositional Tableaux 156
Towards a tableau-based procedure for PLTL based on a multi-conclusion rule and logical optimizations 156
A new a O(n log n)-SPACE decision procedure for propositional intuitionistic logic 152
A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications 151
A tableau decision procedure for propositional intuitionistic logic 150
Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus 140
An implementation of a O(n log n)-SPACE decision procedure for propositional intuitionistic logic 138
Contraction-Free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models 137
JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi 133
A non-clausal tableau calculus for MINSAT 126
ESBC: an application for computing stabilization bouns 125
Terminating Calculi for Propositional Dummett Logic with Subformula Property 123
How to reduce backtracking in propositional intuitionistic logic 123
A Parallel Implementation of a Decision Procedure for Propositional Intuitionistic Logic 123
fCube: An Efficient Prover for Intuitionistic Propositional Logic 120
An O(n log n)-SPACE decision procedure for the propositional Dummett Logic 118
A Terminating Evaluation-Driven Variant of G3i 117
New Tableau Characterizations for Non-clausal MaxSAT Problem 114
A Decidable Constructive Description Logic 108
Refutation in Dummett Logic Using a Sign to Express the Truth at the Next Possible World 106
Taming Implications in Dummett Logic 99
A constructive semantics for ALC 96
Towards the use of simplification rules in intuitionistic tableaux 96
BCDL: Basic Constructive Description Logic 92
Linear Depth Deduction with Subformula Property for Intuitionistic Epistemic Logic 65
Linear Depth Deduction with Subformula Property for Intuitionistic Epistemic Logic 47
Totale 6.409
Salva come PNG Salva come JPEG
Categoria #
all - tutte 19.473
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 19.473
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020739 0 0 0 0 0 145 188 111 140 52 84 19
2020/20211.043 61 15 91 112 79 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/2025426 99 162 19 39 104 3 0 0 0 0 0 0
Totale 6.409