Perini Brogi, Cosimo
 Distribuzione geografica
Continente #
EU - Europa 78
NA - Nord America 53
AS - Asia 31
OC - Oceania 1
Totale 163
Nazione #
US - Stati Uniti d'America 53
IT - Italia 40
RU - Federazione Russa 12
IE - Irlanda 11
CN - Cina 8
SE - Svezia 7
HK - Hong Kong 6
VN - Vietnam 6
CH - Svizzera 5
SG - Singapore 5
GE - Georgia 2
TJ - Tagikistan 2
UZ - Uzbekistan 2
BY - Bielorussia 1
DE - Germania 1
ES - Italia 1
NZ - Nuova Zelanda 1
Totale 163
Città #
Dublin 11
Florence 11
Moscow 9
Chandler 8
Dong Ket 6
Ann Arbor 5
Bern 4
Hong Kong 4
Houston 4
Rignano sull'Arno 4
Seattle 4
Catania 3
Città di Castello 3
Kent 3
Medford 3
Princeton 3
Altamura 2
Fairfield 2
Lawrence 2
Thiene 2
Wilmington 2
Woodbridge 2
Zhengzhou 2
Ashburn 1
Bagno A Ripoli 1
Boardman 1
Calderara Di Reno 1
Cambridge 1
Christchurch 1
Fara 1
Hangzhou 1
Los Angeles 1
Mogilëv 1
Montelupo Fiorentino 1
Redmond 1
Salamanca 1
San Pietro Vernotico 1
Shenzhen 1
Singapore 1
Totale 115
Nome #
Universal Algebra in UniMath (preprint) Presented at Workshop on Homotopy Type Theory and Univalent Foundations 2020 52
A formal proof of modal completeness for provability logic 51
Universal Algebra in UniMath 37
Mechanising Godel-Lob Provability Logic in HOL Light 17
Universal Algebra in UniMath 16
Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic 5
Totale 178
Categoria #
all - tutte 845
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 845


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202146 6 0 1 0 3 0 1 11 12 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/202522 22 0 0 0 0 0 0 0 0 0 0 0
Totale 178