SALA, Pietro
 Distribuzione geografica
Continente #
NA - Nord America 966
EU - Europa 169
AS - Asia 103
AF - Africa 1
Continente sconosciuto - Info sul continente non disponibili 1
Totale 1.240
Nazione #
US - Stati Uniti d'America 962
UA - Ucraina 55
SG - Singapore 49
CN - Cina 38
DE - Germania 38
IT - Italia 25
FI - Finlandia 19
IE - Irlanda 10
RU - Federazione Russa 6
VN - Vietnam 6
GB - Regno Unito 5
IN - India 5
TR - Turchia 5
CA - Canada 4
BE - Belgio 3
CZ - Repubblica Ceca 2
FR - Francia 2
SE - Svezia 2
EE - Estonia 1
EG - Egitto 1
EU - Europa 1
LT - Lituania 1
Totale 1.240
Città #
Woodbridge 182
Ann Arbor 128
Fairfield 117
Houston 65
Chandler 56
Ashburn 55
Wilmington 51
Seattle 50
Singapore 47
Cambridge 46
Jacksonville 41
Beijing 18
Dearborn 17
Boardman 13
Princeton 11
Dublin 10
Mcallen 9
Udine 9
Serra Riccò 8
Dong Ket 6
San Diego 6
Izmir 5
Nanjing 5
Los Angeles 4
Norwalk 4
Asti 3
Brussels 3
Ogden 3
Brno 2
Guangzhou 2
Hefei 2
Jinan 2
Kunming 2
Munich 2
Ottawa 2
San Francisco 2
Cairo 1
Chekhov 1
Chengdu 1
Des Moines 1
Fuzhou 1
Grafing 1
Helsinki 1
Hyderabad 1
Kemerovo 1
Lachine 1
Montreal 1
Nanchang 1
Nürnberg 1
Rome 1
Santa Clara 1
Shenyang 1
Taiyuan 1
Tallinn 1
Verona 1
Šiauliai 1
Totale 1.008
Nome #
A Decidable Spatial Logic with Cone-shaped Cardinal Directions 192
An optimal tableau for Right Propositional Neighborhood Logic over trees 162
Tableau Systems for Logics of Subinterval Structures over Dense Orderings 138
Tableaux for logics of subinterval structures over dense orderings 129
Optimal tableaux for Right Propositional Neighborhood Logic over Linear Orders 120
An Optimal Tableau-based Decision Algorithm for Propositional Neighborhood Logic 113
Tableau-Based System for Spatial Reasoning about Directional Relations 109
A General Tableau Method for Propositional Interval Temporal Logics: Theory and Implementation 107
Decidability of the interval temporal logic ABB* over the natural numbers 88
Beyond omega-regular languages: omegaT-regular expressions and their automata and logic counterparts 59
Beyond $omega BS$-regular Languages: $omegaT$-regular Expressions and Counter-Check Automata 36
Totale 1.253
Categoria #
all - tutte 3.744
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 3.744


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020211 0 0 0 0 0 38 44 42 26 37 3 21
2020/2021144 2 20 1 18 1 19 8 15 24 9 12 15
2021/2022100 4 9 0 1 0 4 9 4 3 17 37 12
2022/2023114 15 8 8 10 12 27 0 12 15 2 3 2
2023/202439 10 1 1 1 0 6 0 4 4 2 0 10
2024/202572 16 13 14 19 7 3 0 0 0 0 0 0
Totale 1.253