SALA, Pietro
 Distribuzione geografica
Continente #
NA - Nord America 947
EU - Europa 166
AS - Asia 63
AF - Africa 1
Continente sconosciuto - Info sul continente non disponibili 1
Totale 1.178
Nazione #
US - Stati Uniti d'America 943
UA - Ucraina 55
CN - Cina 38
DE - Germania 38
IT - Italia 25
FI - Finlandia 19
IE - Irlanda 10
SG - Singapore 9
VN - Vietnam 6
GB - Regno Unito 5
IN - India 5
TR - Turchia 5
CA - Canada 4
BE - Belgio 3
RU - Federazione Russa 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.178
Città #
Woodbridge 182
Ann Arbor 128
Fairfield 117
Houston 65
Chandler 56
Ashburn 55
Wilmington 51
Seattle 50
Cambridge 46
Jacksonville 41
Beijing 18
Dearborn 17
Princeton 11
Dublin 10
Mcallen 9
Singapore 9
Udine 9
Serra Riccò 8
Dong Ket 6
San Diego 6
Izmir 5
Nanjing 5
Norwalk 4
Asti 3
Brussels 3
Ogden 3
Boardman 2
Brno 2
Guangzhou 2
Hefei 2
Jinan 2
Kunming 2
Los Angeles 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
Shenyang 1
Taiyuan 1
Tallinn 1
Verona 1
Šiauliai 1
Totale 956
Nome #
A Decidable Spatial Logic with Cone-shaped Cardinal Directions 182
An optimal tableau for Right Propositional Neighborhood Logic over trees 156
Tableau Systems for Logics of Subinterval Structures over Dense Orderings 133
Tableaux for logics of subinterval structures over dense orderings 123
Optimal tableaux for Right Propositional Neighborhood Logic over Linear Orders 114
An Optimal Tableau-based Decision Algorithm for Propositional Neighborhood Logic 107
Tableau-Based System for Spatial Reasoning about Directional Relations 102
A General Tableau Method for Propositional Interval Temporal Logics: Theory and Implementation 102
Decidability of the interval temporal logic ABB* over the natural numbers 83
Beyond omega-regular languages: omegaT-regular expressions and their automata and logic counterparts 54
Beyond $omega BS$-regular Languages: $omegaT$-regular Expressions and Counter-Check Automata 32
Totale 1.188
Categoria #
all - tutte 3.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 3.176


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020335 17 8 11 69 19 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/20257 7 0 0 0 0 0 0 0 0 0 0 0
Totale 1.188