Perini Brogi, Cosimo
 Distribuzione geografica
Continente #
NA - Nord America 512
AS - Asia 397
EU - Europa 397
SA - Sud America 35
AF - Africa 16
OC - Oceania 7
Totale 1.364
Nazione #
US - Stati Uniti d'America 505
IT - Italia 179
CN - Cina 124
RU - Federazione Russa 112
SG - Singapore 94
VN - Vietnam 39
HK - Hong Kong 33
KR - Corea 32
BR - Brasile 27
BD - Bangladesh 26
FI - Finlandia 18
NL - Olanda 15
DE - Germania 13
JP - Giappone 12
FR - Francia 11
GB - Regno Unito 11
IE - Irlanda 11
BJ - Benin 10
IN - India 10
CH - Svizzera 8
SE - Svezia 8
ID - Indonesia 7
AU - Australia 6
AR - Argentina 4
CA - Canada 4
IR - Iran 3
ZA - Sudafrica 3
AE - Emirati Arabi Uniti 2
ES - Italia 2
GE - Georgia 2
MX - Messico 2
MY - Malesia 2
NG - Nigeria 2
PE - Perù 2
PL - Polonia 2
SA - Arabia Saudita 2
TJ - Tagikistan 2
UA - Ucraina 2
UZ - Uzbekistan 2
AZ - Azerbaigian 1
BY - Bielorussia 1
CI - Costa d'Avorio 1
CL - Cile 1
CO - Colombia 1
CZ - Repubblica Ceca 1
EE - Estonia 1
JO - Giordania 1
LT - Lituania 1
NI - Nicaragua 1
NZ - Nuova Zelanda 1
OM - Oman 1
PH - Filippine 1
PK - Pakistan 1
SK - Slovacchia (Repubblica Slovacca) 1
Totale 1.364
Città #
Santa Clara 226
Singapore 74
Ashburn 55
Hefei 46
Florence 36
San Jose 36
Seoul 32
Hong Kong 26
Moscow 14
Los Angeles 12
Tokyo 12
Dublin 11
Cotonou 10
Ho Chi Minh City 10
Beijing 9
Chicago 9
Hanoi 9
Lappeenranta 9
Turin 9
Chandler 8
Helsinki 8
New York 8
Rome 8
Buffalo 7
Catania 7
Council Bluffs 7
Kent 7
Naples 7
Dong Ket 6
Jakarta 6
Lauterbourg 6
Milan 6
Ann Arbor 5
Castenedolo 5
Salt Lake City 5
Bern 4
Bologna 4
Dallas 4
Houston 4
Melbourne 4
Rignano sull'Arno 4
Seattle 4
Sterling 4
Altopascio 3
Charlotte 3
Chennai 3
Città di Castello 3
Falkenstein 3
Medford 3
Princeton 3
Wilmington 3
Abuja 2
Adelaide 2
Altamura 2
Arequipa 2
Basel 2
Bengaluru 2
Birmingham 2
Biên Hòa 2
Bonn 2
Brooklyn 2
Bình Dương 2
Dresden 2
Elk Grove Village 2
Fairfield 2
Hattingen 2
Hounslow 2
Johannesburg 2
La Plata 2
Lawrence 2
London 2
Montreal 2
Mumbai 2
Oderzo 2
Orsay 2
Phoenix 2
Pisa 2
Quarrata 2
Riyadh 2
Romola 2
San Francisco 2
San Miniato Basso 2
Secaucus 2
St Petersburg 2
São Paulo 2
The Dalles 2
Thiene 2
Toronto 2
Vasto 2
Warsaw 2
Washington 2
Woodbridge 2
Zhengzhou 2
Abidjan 1
Alassio 1
Alfortville 1
Allentown 1
Alta Floresta 1
Amman 1
Amsterdam 1
Totale 898
Nome #
Growing HOLMS, a HOL Light Library for Modal Systems 201
Universal Algebra in UniMath 194
Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic 190
Universal Algebra in UniMath (preprint) Presented at Workshop on Homotopy Type Theory and Univalent Foundations 2020 162
Universal Algebra in UniMath 159
Mechanising Godel-Lob Provability Logic in HOL Light 149
A formal proof of modal completeness for provability logic 140
Analysing Collective Adaptive Systems by Proving Theorems 79
Displayed Universal Algebra in UniMath: Basic Definitions and Results 53
A Modular Framework for Proof-Search via Formalised Modal Completeness in HOL Light 38
A Modular Proof of Semantic Completeness for Normal Systems beyond the Modal Cube, Formalised in HOLMS 28
Totale 1.393
Categoria #
all - tutte 3.530
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 3.530


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202112 0 0 0 0 0 0 0 0 0 0 2 10
2021/202222 0 3 4 0 1 1 6 0 0 0 0 7
2022/202341 4 9 4 2 0 9 4 3 0 0 2 4
2023/202447 0 4 8 3 1 1 1 5 3 7 4 10
2024/2025603 28 41 20 51 145 121 37 17 19 28 31 65
2025/2026634 40 73 79 42 99 25 71 42 48 45 70 0
Totale 1.393