FERRARI, MAURO
 Distribuzione geografica
Continente #
NA - Nord America 3.496
EU - Europa 2.211
AS - Asia 451
Continente sconosciuto - Info sul continente non disponibili 5
SA - Sud America 2
AF - Africa 1
OC - Oceania 1
Totale 6.167
Nazione #
US - Stati Uniti d'America 3.490
IT - Italia 1.150
UA - Ucraina 367
SE - Svezia 243
TR - Turchia 216
VN - Vietnam 120
IE - Irlanda 118
DE - Germania 110
CN - Cina 102
FI - Finlandia 93
GB - Regno Unito 81
FR - Francia 18
BE - Belgio 12
CA - Canada 5
EU - Europa 5
IN - India 5
AT - Austria 3
JP - Giappone 3
PL - Polonia 3
RO - Romania 3
TH - Thailandia 3
CH - Svizzera 2
NL - Olanda 2
RS - Serbia 2
AU - Australia 1
BR - Brasile 1
LU - Lussemburgo 1
MA - Marocco 1
MX - Messico 1
MY - Malesia 1
PT - Portogallo 1
RU - Federazione Russa 1
SG - Singapore 1
SK - Slovacchia (Repubblica Slovacca) 1
VE - Venezuela 1
Totale 6.167
Città #
Milan 810
Fairfield 466
Chandler 350
Woodbridge 344
Ashburn 299
Jacksonville 287
Seattle 208
Dearborn 188
Wilmington 184
Houston 170
Cambridge 169
Ann Arbor 156
Dublin 118
Nyköping 108
Princeton 100
Izmir 99
Dong Ket 71
Rome 50
Como 41
San Mateo 39
San Diego 31
Beijing 27
Washington 22
Council Bluffs 20
Kocaeli 19
Ogden 18
New York 17
Boardman 13
Brussels 12
Düsseldorf 12
Hefei 12
London 12
Frankfurt am Main 11
Los Angeles 10
Berlin 9
Helsinki 8
Nanjing 8
Verona 8
Nanchang 7
Kunming 6
Philadelphia 6
Jinan 5
Norwalk 5
Redmond 5
Busto Arsizio 4
Lucca 4
Montréal 4
Phoenix 4
Shenyang 4
Auburn Hills 3
Baotou 3
Changsha 3
Chiswick 3
Hebei 3
Indiana 3
Kilburn 3
Nembro 3
New Bedfont 3
Prescot 3
Redwood City 3
Timisoara 3
Warsaw 3
Acton 2
Augusta 2
Bareggio 2
Belgrade 2
Casorezzo 2
Chicago 2
Dallas 2
Falls Church 2
Genoa 2
Guangzhou 2
Karlsruhe 2
Lallio 2
Lappeenranta 2
Liscate 2
Paderno Dugnano 2
Padova 2
Palermo 2
Palombara Sabina 2
Pescara 2
Pune 2
Selvazzano Dentro 2
Vicenza 2
Wuhan 2
Agadir 1
Allendale 1
Andover 1
Bangalore 1
Bangkok 1
Boston 1
Bratislava 1
Bresso 1
Buffalo 1
Bulgorello 1
Caracas 1
Chengdu 1
Chiasso 1
Cormeilles-en-Parisis 1
Dalmine 1
Totale 4.680
Nome #
An evaluation-driven decision procedure for G3i 229
A forward unprovability calculus for intuitionistic propositional logic 178
A secondary semantics for second order intuitionistic propositional logic 170
JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi 165
Goal-Oriented Proof-Search in Natural Deduction for Intuitionistic Propositional Logic 164
A Terminating Evaluation-Driven Variant of G3i 158
A tableau calculus for Dummett predicate logic 150
Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics 150
Proof-Search in Natural Deduction Calculus for Classical Propositional Logic 149
Dai fondamenti agli oggetti. Corso di programmazione Java. 146
On the complexity of the disjunction property in intuitionistic and modal logics 145
On uniformly constructive and semiconstructive formal systems 143
Tableau calculi for the logics of finite k-ary trees 142
Counting the maximal intermediate constructive logics 141
Extracting exact time bounds from logical proofs 139
A decidable constructive description logic 139
Contraction-Free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models 138
A formal framework for synthesis and verification of logic programs 136
Hypersequent calculi for some intermediate logics with bounded Kripke models 134
Snapshot Generation in a Constructive Object-oriented Modeling Language 134
fCube: An Efficient Prover for Intuitionistic Propositional Logic 130
Hypertableau and path-hypertableau calculi for some families of intermediate logics 129
Simplification Rules for Intuitionistic Propositional Tableaux 128
Synthesis of programs in abstract data types 125
ESBC: an application for computing stabilization bounds 122
JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi 120
Composition of Semantic Web Services in a Constructive Description Logic 120
Actions Over a Constructive Semantics for Description Logics 119
Building a domain ontology from glossaries: a general methodology 118
From constructivism to logic programming: An homage to Mario Ornaghi 117
Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic 106
A METHOD TO SINGLE OUT MAXIMAL PROPOSITIONAL LOGICS WITH THE DISJUNCTION PROPERTY .1. 103
Proof-search in Hilbert calculi 102
A METHOD TO SINGLE OUT MAXIMAL PROPOSITIONAL LOGICS WITH THE DISJUNCTION PROPERTY .2. 101
Dai fondamenti agli oggetti. Corso di programmazione Java. Terza Edizione 100
A proof-theoretical analysis of semiconstructive intermediate theories 99
Cut-free tableau calculi for some intuitionistic modal logics 98
A Tableau Calculus for Propositional Intuitionistic Logic with a Refined Treatment of Nested Implications 97
A Constructive Modeling Language for Object Oriented Information Systems 93
null 92
A Constructive Modeling Language for Object Oriented Information Systems 92
Extracting information from intermediate semiconstructive HA-systems 91
A constructive semantics for ALC 89
Dai fondamenti agli oggetti. Corso di programmazione Java. Quarta Edizione 87
Almost Duplication-Free Tableau Calculi for Propositional Lax Logics 82
BCDL: Basic Constructive Description Logic 81
Dai fondamenti agli oggetti. Corso di programmazione Java. Seconda edizione. 73
Forward countermodel construction in modal Logic K 72
Forward proof-search and countermodel construction in intuitionistic propositional logic 68
A natural deduction calculus for gödel-dummett logic internalizing proof-search control mechanisms? 55
Forward refutation for Gödel-Dummett Logics 49
A forward internal calculus for model generation in S4 46
SAT-based proof search in intermediate propositional logics 24
On the complexity of disjunction and explicit definability properties in some intermediate logics 19
A New Approach to Clausification for Intuitionistic Propositional Logic 8
Totale 6.205
Categoria #
all - tutte 19.317
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.317


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019207 0 0 0 0 0 0 0 0 0 0 0 207
2019/20201.290 55 38 59 217 93 193 201 152 98 78 32 74
2020/2021995 24 77 45 76 69 96 79 91 124 94 98 122
2021/2022574 75 19 48 64 28 42 20 28 35 103 32 80
2022/2023906 70 79 67 93 68 166 3 111 132 31 57 29
2023/20241.355 196 192 210 289 278 109 4 30 23 14 3 7
Totale 6.205