BARBIERI, PIETRO
 Distribuzione geografica
Continente #
EU - Europa 429
AS - Asia 5
SA - Sud America 4
Totale 438
Nazione #
IT - Italia 429
VN - Vietnam 4
BR - Brasile 3
CN - Cina 1
EC - Ecuador 1
Totale 438
Città #
Genoa 279
Vado Ligure 67
Genova 42
Rapallo 38
Ho Chi Minh City 2
Bordighera 1
Guarujá 1
Hanoi 1
Lấp Vò 1
Machala 1
Manaus 1
Santo André 1
Totale 435
Nome #
Corecursive featherweight Java revisited 84
Checking equivalence of corecursive streams: An inductive procedure 70
An inductive abstract semantics for coFJ 57
Enhanced Regular Corecursion for Data Streams 49
Enhancing Expressivity of Checked Corecursive Streams 46
Enhancing Regular Corecursion 44
Sound Regular Corecursion in coFJ 41
Checked corecursive streams: Expressivity and completeness 40
Equality of Corecursive Streams Defined by Finitary Equational Systems 34
Totale 465
Categoria #
all - tutte 2.411
article - articoli 376
book - libri 0
conference - conferenze 1.767
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 4.554


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20213 0 0 0 0 0 0 1 0 1 0 0 1
2021/202228 0 2 0 5 0 0 1 7 2 4 0 7
2022/202360 4 0 0 1 4 5 15 3 15 5 6 2
2023/202466 5 8 2 13 5 5 5 12 2 2 2 5
2024/2025166 5 10 2 4 36 16 19 18 4 14 15 23
2025/2026125 33 20 37 35 0 0 0 0 0 0 0 0
Totale 465