ALESSI, Fabio
 Distribuzione geografica
Continente #
NA - Nord America 79
EU - Europa 29
AS - Asia 2
AF - Africa 1
Totale 111
Nazione #
US - Stati Uniti d'America 79
IT - Italia 18
DE - Germania 5
AT - Austria 4
VN - Vietnam 2
GB - Regno Unito 1
RU - Federazione Russa 1
ZA - Sudafrica 1
Totale 111
Città #
Fairfield 12
Udine 11
Ashburn 8
Santa Cruz 8
Seattle 8
Woodbridge 7
Wilmington 6
Houston 5
Trieste 5
Buffalo 4
Cambridge 2
Dong Ket 2
Ann Arbor 1
Chicago 1
Riva 1
San Francisco 1
San Pablo 1
Silverton 1
Totale 84
Nome #
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning, file e27ce0c7-1cb0-055e-e053-6605fe0a7873 102
LF+ in Coq for fast-and-loose reasoning, file e27ce0c9-64af-055e-e053-6605fe0a7873 9
Tiered Objects, file e27ce0c9-9092-055e-e053-6605fe0a7873 4
Solutions of Functorial and Non-Functorial Metric Domain Equations, file e27ce0c1-ca6d-055e-e053-6605fe0a7873 1
Intersection types and domain operators, file e27ce0c1-cf6e-055e-e053-6605fe0a7873 1
Tiered Objects, file e27ce0c9-5859-055e-e053-6605fe0a7873 1
Totale 118
Categoria #
all - tutte 144
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 144


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/20192 0001 00 00 0010
2019/202039 0000 45 64 10730
2020/202143 4060 60 40 11453
2021/202226 4201 12 00 1393
2022/20238 0080 00 00 0000
Totale 118