ALESSI, Fabio
 Distribuzione geografica
Continente #
NA - Nord America 91
EU - Europa 36
AS - Asia 2
AF - Africa 1
Totale 130
Nazione #
US - Stati Uniti d'America 91
IT - Italia 19
SE - Svezia 6
DE - Germania 5
AT - Austria 4
VN - Vietnam 2
GB - Regno Unito 1
RU - Federazione Russa 1
ZA - Sudafrica 1
Totale 130
Città #
Fairfield 12
Udine 11
Seattle 9
Ashburn 8
Santa Cruz 8
Woodbridge 7
Stockholm 6
Wilmington 6
Houston 5
Trieste 5
Buffalo 4
Cambridge 2
Des Moines 2
Dong Ket 2
Fleming Island 2
Ann Arbor 1
Chicago 1
Los Angeles 1
Riva 1
San Francisco 1
San Mauro Torinese 1
San Pablo 1
Silverton 1
Totale 97
Nome #
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning, file e27ce0c7-1cb0-055e-e053-6605fe0a7873 109
LF+ in Coq for fast-and-loose reasoning, file e27ce0c9-64af-055e-e053-6605fe0a7873 16
Tiered Objects, file e27ce0c9-5859-055e-e053-6605fe0a7873 6
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
Totale 137
Categoria #
all - tutte 176
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 176


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/202327 0082 111 32 0000
Totale 137