MATTEO, ANGELO
 Distribuzione geografica
Continente #
NA - Nord America 62
AS - Asia 23
EU - Europa 23
Continente sconosciuto - Info sul continente non disponibili 9
SA - Sud America 5
Totale 122
Nazione #
US - Stati Uniti d'America 58
IT - Italia 13
SG - Singapore 13
DE - Germania 6
BR - Brasile 4
CN - Cina 4
CA - Canada 3
HK - Hong Kong 2
BD - Bangladesh 1
EC - Ecuador 1
ES - Italia 1
FR - Francia 1
GB - Regno Unito 1
IN - India 1
IQ - Iraq 1
JP - Giappone 1
PR - Porto Rico 1
UA - Ucraina 1
Totale 113
Città #
Council Bluffs 12
San Jose 11
Ashburn 10
Frankfurt am Main 6
Singapore 5
New York 3
São Paulo 3
Brooklyn 2
Hong Kong 2
Los Angeles 2
Montreal 2
Arecibo 1
Atlanta 1
Baghdad 1
Baie-D'Urfé 1
Beijing 1
Bloomfield 1
Boardman 1
Capaccio 1
Casarsa della Delizia 1
Cascina 1
Caucaia 1
Chennai 1
Cleveland 1
Dallas 1
Denver 1
Eldridge 1
Guayaquil 1
Kyiv 1
Lauterbourg 1
Lebanon 1
London 1
Miano 1
Milan 1
Nashville 1
Padua 1
Riaño 1
Rome 1
Santa Clara 1
Selah 1
Spartanburg 1
Spoltore 1
Stony Point 1
Tezze sul Brenta 1
The Bronx 1
Tokyo 1
Turin 1
Venice 1
Totale 95
Nome #
An Automaton-based Characterisation of First-Order Logic over Infinite Trees. 57
Letture Critiche: "Temporal Logics", di Valentin Goranko 51
Deciding the Common Fragment of CTL with past and LTL 14
Totale 122
Categoria #
all - tutte 330
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 330


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2025/202684 0 0 0 13 23 6 13 4 6 7 11 1
2026/202738 3 3 15 12 5 0 0 0 0 0 0 0
Totale 122