FIORENTINI, CAMILLO
 Distribuzione geografica
Continente #
NA - Nord America 1.042
EU - Europa 618
AS - Asia 110
Continente sconosciuto - Info sul continente non disponibili 2
Totale 1.772
Nazione #
US - Stati Uniti d'America 1.042
IT - Italia 316
UA - Ucraina 94
SE - Svezia 84
TR - Turchia 45
VN - Vietnam 38
DE - Germania 37
IE - Irlanda 36
FI - Finlandia 22
CN - Cina 21
GB - Regno Unito 16
BE - Belgio 3
FR - Francia 3
JP - Giappone 3
PL - Polonia 3
EU - Europa 2
RO - Romania 2
TH - Thailandia 2
AT - Austria 1
MY - Malesia 1
NL - Olanda 1
Totale 1.772
Città #
Milan 235
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
Princeton 30
Izmir 28
Dong Ket 20
Washington 12
Como 11
Rome 9
Frankfurt am Main 8
San Diego 8
San Mateo 7
Berlin 6
Ogden 6
Helsinki 5
Beijing 4
Busto Arsizio 4
Kocaeli 4
Brussels 3
Council Bluffs 3
London 3
New York 3
Norwalk 3
Verona 3
Warsaw 3
Augusta 2
Boardman 2
Chiswick 2
Düsseldorf 2
Hefei 2
Kunming 2
Liscate 2
Los Angeles 2
Nanjing 2
Padova 2
Prescot 2
Timisoara 2
Acton 1
Amsterdam 1
Andover 1
Casorezzo 1
Changsha 1
Chengdu 1
Fagnano Olona 1
Guangzhou 1
Indiana 1
Jinan 1
Kuala Lumpur 1
Lappeenranta 1
Nanchang 1
New Bedfont 1
Oxford 1
Redwood City 1
Trumbull 1
Vicenza 1
Vienna 1
Wuhan 1
Totale 1.394
Nome #
A forward unprovability calculus for intuitionistic propositional logic 178
Proof-Search in Natural Deduction Calculus for Classical Propositional Logic 149
Tableau calculi for the logics of finite k-ary trees 142
Extracting exact time bounds from logical proofs 139
A decidable constructive description logic 139
fCube: An Efficient Prover for Intuitionistic Propositional Logic 130
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
Proof-search in Hilbert calculi 102
A Tableau Calculus for Propositional Intuitionistic Logic with a Refined Treatment of Nested Implications 97
null 92
BCDL: Basic Constructive Description Logic 81
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 48
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 1.791
Categoria #
all - tutte 6.304
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 6.304


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020357 13 11 19 60 31 53 47 48 30 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
Totale 1.791