FERRARI, MAURO
 Distribuzione geografica
Continente #
NA - Nord America 135
EU - Europa 38
AS - Asia 10
AF - Africa 2
Totale 185
Nazione #
US - Stati Uniti d'America 131
IT - Italia 15
RU - Federazione Russa 6
CN - Cina 5
CA - Canada 4
DE - Germania 4
GB - Regno Unito 4
IE - Irlanda 3
VN - Vietnam 3
NL - Olanda 2
ZA - Sudafrica 2
BE - Belgio 1
CH - Svizzera 1
CZ - Repubblica Ceca 1
FR - Francia 1
IR - Iran 1
JP - Giappone 1
Totale 185
Città #
Houston 19
Fairfield 15
Como 10
Santa Cruz 10
Seattle 10
Ann Arbor 8
Ashburn 6
Buffalo 6
Woodbridge 6
Cambridge 5
Las Vegas 5
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
Brooklyn 1
Brussels 1
Dallas 1
Edinburgh 1
Esfahan 1
Fleming Island 1
Fremont 1
Gouda 1
Hamilton 1
Hangzhou 1
Henderson 1
Mountain View 1
New York 1
Riva 1
San Francisco 1
Toronto 1
University Park 1
Varese 1
Zurich 1
Totale 148
Nome #
A Terminating Evaluation-Driven Variant of G3i, file e2188be6-0d75-4564-e053-6605fe0a49d6 170
Forward refutation for Gödel-Dummett Logics, file 7dd308dd-81dd-4572-9cf8-f1b69e1d58df 8
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 190
Categoria #
all - tutte 418
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 418


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201916 0 0 0 0 0 0 0 1 1 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/202336 1 1 8 4 2 4 2 4 4 0 3 3
2023/20246 2 1 3 0 0 0 0 0 0 0 0 0
Totale 190