FERRARI, MAURO
 Distribuzione geografica
Continente #
NA - Nord America 135
EU - Europa 55
AS - Asia 10
AF - Africa 2
Totale 202
Nazione #
US - Stati Uniti d'America 130
IT - Italia 19
FR - Francia 14
RU - Federazione Russa 6
CA - Canada 5
CN - Cina 4
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
IR - Iran 1
JP - Giappone 1
SG - Singapore 1
Totale 202
Città #
Houston 19
Fairfield 15
Seattle 11
Como 10
Santa Cruz 10
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
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 152
Nome #
A Terminating Evaluation-Driven Variant of G3i, file e2188be6-0d75-4564-e053-6605fe0a49d6 177
Forward refutation for Gödel-Dummett Logics, file 7dd308dd-81dd-4572-9cf8-f1b69e1d58df 7
A New Approach to Clausification for Intuitionistic Propositional Logic, file 4ece0ed9-c68b-4413-bbcc-9ba6a38962b8 6
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 207
Categoria #
all - tutte 589
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 589


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201914 0 0 0 0 0 0 0 0 0 3 7 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/202426 2 1 2 1 7 1 6 5 0 1 0 0
Totale 207