FERRARI, MAURO
 Distribuzione geografica
Continente #
NA - Nord America 144
EU - Europa 56
AS - Asia 11
AF - Africa 2
Totale 213
Nazione #
US - Stati Uniti d'America 139
IT - Italia 19
FR - Francia 14
RU - Federazione Russa 6
CA - Canada 5
CN - Cina 5
DE - Germania 4
GB - Regno Unito 4
IE - Irlanda 3
VN - Vietnam 3
NL - Olanda 2
ZA - Sudafrica 2
CH - Svizzera 1
CZ - Repubblica Ceca 1
ES - Italia 1
FI - Finlandia 1
IR - Iran 1
JP - Giappone 1
SG - Singapore 1
Totale 213
Città #
Houston 19
Fairfield 15
Seattle 11
Como 10
Santa Cruz 10
Columbus 9
Ann Arbor 8
Ashburn 6
Buffalo 6
Woodbridge 6
Cambridge 5
Las Vegas 5
Magnago 4
San Diego 4
Wilmington 4
Dong Ket 3
Dublin 3
Beijing 2
Chicago 2
Muizenberg 2
Ottawa 2
Phoenix 2
Saint Petersburg 2
Berlin 1
Boardman 1
Boulder 1
Dallas 1
Edinburgh 1
Esfahan 1
Fremont 1
Gouda 1
Hamilton 1
Hangzhou 1
Henderson 1
Lappeenranta 1
Montreal 1
Mountain View 1
New York 1
Paris 1
Riva 1
San Francisco 1
Toronto 1
University Park 1
Varese 1
Zurich 1
Totale 162
Nome #
A Terminating Evaluation-Driven Variant of G3i, file e2188be6-0d75-4564-e053-6605fe0a49d6 181
Forward refutation for Gödel-Dummett Logics, file 7dd308dd-81dd-4572-9cf8-f1b69e1d58df 11
A New Approach to Clausification for Intuitionistic Propositional Logic, file 4ece0ed9-c68b-4413-bbcc-9ba6a38962b8 9
SAT-based proof search in intermediate propositional logics, file ddda10cb-44d1-42d7-b59d-7fe8a4931761 5
A forward internal calculus for model generation in S4, file d4091af2-5abf-47e4-9d1e-fd50e204b4ef 4
Contraction-Free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models, file e2188be6-0d76-4564-e053-6605fe0a49d6 2
Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic, file e2188be7-5c90-4564-e053-6605fe0a49d6 2
Simplification Rules for Intuitionistic Propositional Tableaux, file e2188be6-00ab-4564-e053-6605fe0a49d6 1
Proof-Search in Natural Deduction Calculus for Classical Propositional Logic, file e2188be6-2d9d-4564-e053-6605fe0a49d6 1
An evaluation-driven decision procedure for G3i, file e2188be7-b221-4564-e053-6605fe0a49d6 1
Goal-Oriented Proof-Search in Natural Deduction for Intuitionistic Propositional Logic, file e2188be7-b879-4564-e053-6605fe0a49d6 1
Totale 218
Categoria #
all - tutte 638
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 638


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/20194 0 0 0 0 0 0 0 0 0 0 0 4
2019/202037 4 3 3 7 2 4 3 2 4 1 2 2
2020/202126 2 3 0 1 3 0 4 0 4 4 3 2
2021/202261 7 1 2 16 9 3 0 1 6 1 13 2
2022/202333 1 1 8 4 2 4 2 4 2 0 2 3
2023/202437 2 1 2 1 7 1 6 5 0 1 10 1
Totale 218