PARLAMENTO, Franco
 Distribuzione geografica
Continente #
NA - Nord America 235
AS - Asia 189
EU - Europa 67
SA - Sud America 9
OC - Oceania 7
AF - Africa 2
Totale 509
Nazione #
US - Stati Uniti d'America 232
CN - Cina 148
IT - Italia 21
ID - Indonesia 15
RU - Federazione Russa 13
DE - Germania 11
GB - Regno Unito 8
AU - Australia 6
IN - India 6
IE - Irlanda 5
TW - Taiwan 5
VN - Vietnam 5
BO - Bolivia 4
KR - Corea 4
BR - Brasile 3
CA - Canada 3
FR - Francia 3
KH - Cambogia 3
JP - Giappone 2
SE - Svezia 2
VE - Venezuela 2
ZA - Sudafrica 2
AE - Emirati Arabi Uniti 1
AT - Austria 1
CZ - Repubblica Ceca 1
DK - Danimarca 1
NL - Olanda 1
NZ - Nuova Zelanda 1
Totale 509
Città #
Houston 34
Fairfield 22
Guangzhou 22
Santa Cruz 22
Shenyang 21
Ashburn 19
Changsha 18
Ann Arbor 16
Harbin 10
Seattle 10
Buffalo 9
Woodbridge 9
Udine 8
Chongqing 7
Changchun 6
Nanchang 6
Nanjing 6
Ufa 6
Cambridge 5
Des Moines 5
Dublin 5
Hangzhou 5
Hebei 5
Dong Ket 4
La Paz 4
Sydney 4
Taipei 4
Xian 4
Bengaluru 3
Jinan 3
Lake Forest 3
Nanning 3
Shanghai 3
Siena 3
Wilmington 3
Zhengzhou 3
Baotou 2
Clearwater 2
Council Bluffs 2
Port Macquarie 2
Porto Alegre 2
San Diego 2
Somerville 2
Venice 2
Wuhan 2
Auckland 1
Beijing 1
Boulder 1
Brunico 1
Caracas 1
Cedar Knolls 1
Chaoyang 1
Chicago 1
Dallas 1
Dearborn 1
Frankfurt Am Main 1
Fukuoka 1
Fuzhou 1
Grafing 1
Grinnell 1
Göteborg 1
Haikou 1
Hanoi 1
Henderson 1
Isoda 1
Jacksonville 1
Kunming 1
Lanzhou 1
Leytonstone 1
Mississauga 1
Mountain View 1
Muizenberg 1
Mumbai 1
New Delhi 1
New York 1
North Bergen 1
Norwalk 1
Ottawa 1
Palo Alto 1
Parlin 1
Phoenix 1
Providence 1
Provo 1
Reana del Rojale 1
Reston 1
Reutlingen 1
Riva 1
Saint Louis 1
San Francisco 1
Silverton 1
Southend 1
São Paulo 1
Toronto 1
Vienna 1
Westwood 1
Ürümqi 1
Totale 389
Nome #
Expressing Infinity without Foundation, file e27ce0c1-d585-055e-e053-6605fe0a7873 346
The Elimination of Atomic Cuts and the Semishortening Property for Gentzen's Sequent Calculus with Equality, file e27ce0c9-b5de-055e-e053-6605fe0a7873 81
Absorbing the structural rules in the sequent calculus with additional atomic rules, file e27ce0c9-b6c1-055e-e053-6605fe0a7873 43
Decidability of E*A-sentences in Membership Theories, file e27ce0ca-1f84-055e-e053-6605fe0a7873 33
Absorbing the structural rules in the sequent calculus with additional atomic rules, file e27ce0c9-b6c2-055e-e053-6605fe0a7873 8
The Cut-Elimination and Nonlegthening Property for Gentzen's Sequent Calculus for First Order Logic with Equality, file e27ce0c4-ff8a-055e-e053-6605fe0a7873 6
The Elimination of Atomic Cuts and the Semishortening Property for Gentzen's Sequent Calculus with Equality, file e27ce0c9-b5df-055e-e053-6605fe0a7873 6
Truth in V for E*AA-sentences is decidable, file e27ce0c1-d340-055e-e053-6605fe0a7873 2
Totale 525
Categoria #
all - tutte 1.183
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 1.183


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201912 0 0 0 0 0 0 0 0 0 0 7 5
2019/202039 3 7 2 6 2 3 2 4 5 1 2 2
2020/2021169 1 3 0 3 3 19 25 20 39 14 22 20
2021/2022188 8 8 15 38 26 6 13 8 18 16 25 7
2022/202386 1 15 18 15 6 6 5 2 5 3 7 3
2023/202419 3 6 7 3 0 0 0 0 0 0 0 0
Totale 525