FIORENTINI, CAMILLO
 Distribuzione geografica
Continente #
NA - Nord America 1.070
EU - Europa 648
AS - Asia 164
SA - Sud America 13
Continente sconosciuto - Info sul continente non disponibili 2
AF - Africa 1
Totale 1.898
Nazione #
US - Stati Uniti d'America 1.070
IT - Italia 323
UA - Ucraina 94
SE - Svezia 84
SG - Singapore 52
TR - Turchia 45
DE - Germania 39
VN - Vietnam 38
IE - Irlanda 36
FI - Finlandia 24
CN - Cina 21
RU - Federazione Russa 17
GB - Regno Unito 16
BR - Brasile 13
BE - Belgio 3
FR - Francia 3
JP - Giappone 3
PL - Polonia 3
AT - Austria 2
BD - Bangladesh 2
EU - Europa 2
RO - Romania 2
TH - Thailandia 2
DZ - Algeria 1
HU - Ungheria 1
MY - Malesia 1
NL - Olanda 1
Totale 1.898
Città #
Milan 236
Chandler 131
Fairfield 131
Woodbridge 114
Ashburn 101
Jacksonville 77
Cambridge 58
Seattle 54
Dearborn 51
Wilmington 50
Houston 44
Nyköping 43
Ann Arbor 42
Dublin 36
Singapore 33
Princeton 30
Izmir 28
Boardman 20
Dong Ket 20
Washington 12
Como 11
Rome 9
Frankfurt am Main 8
San Diego 8
San Mateo 7
Berlin 6
Helsinki 6
Ogden 6
Beijing 4
Busto Arsizio 4
Kocaeli 4
Brussels 3
Chicago 3
Council Bluffs 3
London 3
New York 3
Norwalk 3
Verona 3
Warsaw 3
Assago 2
Augusta 2
Chiswick 2
Düsseldorf 2
Hefei 2
Kunming 2
Liscate 2
Los Angeles 2
Nanjing 2
Padova 2
Prescot 2
Santa Clara 2
Timisoara 2
Vienna 2
Acton 1
Amsterdam 1
Andover 1
Belo Horizonte 1
Brasília 1
Budapest 1
Cachoeiro de Itapemirim 1
Campobasso 1
Canoas 1
Casorezzo 1
Caxias do Sul 1
Cesário Lange 1
Changsha 1
Chengdu 1
Conselheiro Lafaiete 1
Des Moines 1
Espoo 1
Fagnano Olona 1
Fayetteville 1
Guangzhou 1
Indiana 1
Itapeva 1
Jinan 1
João Pessoa 1
Kuala Lumpur 1
Lappeenranta 1
Leopoldina 1
Munich 1
Nanchang 1
New Bedfont 1
Nuremberg 1
Oxford 1
Petrópolis 1
Redwood City 1
São Luís 1
São Paulo 1
The Dalles 1
Trumbull 1
Varese 1
Vicenza 1
Wuhan 1
Totale 1.477
Nome #
A forward unprovability calculus for intuitionistic propositional logic 185
Proof-Search in Natural Deduction Calculus for Classical Propositional Logic 153
A decidable constructive description logic 152
Tableau calculi for the logics of finite k-ary trees 148
Extracting exact time bounds from logical proofs 144
fCube: An Efficient Prover for Intuitionistic Propositional Logic 134
From constructivism to logic programming: An homage to Mario Ornaghi 124
Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic 116
A Tableau Calculus for Propositional Intuitionistic Logic with a Refined Treatment of Nested Implications 107
Proof-search in Hilbert calculi 106
null 92
BCDL: Basic Constructive Description Logic 85
Forward countermodel construction in modal Logic K 77
Forward proof-search and countermodel construction in intuitionistic propositional logic 72
A natural deduction calculus for gödel-dummett logic internalizing proof-search control mechanisms? 63
A forward internal calculus for model generation in S4 60
Forward refutation for Gödel-Dummett Logics 60
On the complexity of disjunction and explicit definability properties in some intermediate logics 21
A New Approach to Clausification for Intuitionistic Propositional Logic 20
Totale 1.919
Categoria #
all - tutte 8.262
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 8.262


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202045 0 0 0 0 0 0 0 0 0 22 5 18
2020/2021264 6 24 9 24 8 37 17 17 38 19 31 34
2021/2022174 27 6 7 13 12 13 7 10 13 32 12 22
2022/2023306 22 33 20 33 27 52 0 47 41 9 15 7
2023/2024417 57 57 62 98 84 46 0 1 6 2 0 4
2024/2025128 1 1 40 6 7 24 7 5 27 10 0 0
Totale 1.919