IRIS
PARLAMENTO, Franco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.971
AS - Asia 1.263
EU - Europa 797
SA - Sud America 174
AF - Africa 32
Continente sconosciuto - Info sul continente non disponibili 2
OC - Oceania 1
Totale 5.240
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.927
SG - Singapore 596
CN - Cina 272
UA - Ucraina 228
BR - Brasile 139
VN - Vietnam 113
HK - Hong Kong 109
DE - Germania 102
FI - Finlandia 91
RU - Federazione Russa 77
IT - Italia 69
SE - Svezia 63
FR - Francia 48
GB - Regno Unito 41
IE - Irlanda 40
TR - Turchia 34
CA - Canada 32
KR - Corea 25
IN - India 24
AR - Argentina 16
BE - Belgio 14
JP - Giappone 14
ID - Indonesia 13
ZA - Sudafrica 13
BD - Bangladesh 9
IQ - Iraq 8
UZ - Uzbekistan 8
MX - Messico 7
ES - Italia 6
PH - Filippine 6
PK - Pakistan 6
EC - Ecuador 5
ET - Etiopia 5
MA - Marocco 5
SA - Arabia Saudita 5
NL - Olanda 4
PL - Polonia 4
VE - Venezuela 4
AZ - Azerbaigian 3
CL - Cile 3
EG - Egitto 3
LT - Lituania 3
AE - Emirati Arabi Uniti 2
CO - Colombia 2
EU - Europa 2
IL - Israele 2
JM - Giamaica 2
JO - Giordania 2
KZ - Kazakistan 2
LB - Libano 2
NP - Nepal 2
PE - Perù 2
PT - Portogallo 2
PY - Paraguay 2
TG - Togo 2
TW - Taiwan 2
AT - Austria 1
AU - Australia 1
BG - Bulgaria 1
BH - Bahrain 1
CR - Costa Rica 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
KE - Kenya 1
LA - Repubblica Popolare Democratica del Laos 1
MD - Moldavia 1
MG - Madagascar 1
MN - Mongolia 1
NG - Nigeria 1
OM - Oman 1
PA - Panama 1
RS - Serbia 1
SK - Slovacchia (Repubblica Slovacca) 1
UY - Uruguay 1
Totale 5.240
Salva come PNG Salva come JPEG
Città #
Ann Arbor 420
Woodbridge 363
Singapore 251
Chandler 219
Fairfield 209
Jacksonville 165
Houston 157
Ashburn 137
Beijing 121
Hong Kong 108
Wilmington 95
San Jose 86
Seattle 86
Dearborn 84
Cambridge 74
Boardman 49
Princeton 43
Dublin 40
Ho Chi Minh City 38
Lauterbourg 37
Los Angeles 29
Buffalo 27
Hefei 27
Hanoi 26
Izmir 24
Seoul 23
Udine 22
Council Bluffs 18
Helsinki 17
Des Moines 16
San Diego 16
Brussels 14
Ottawa 14
Nanjing 13
Ogden 11
Santa Clara 11
Tokyo 11
Dallas 10
The Dalles 10
London 9
New York 9
Redondo Beach 9
São Paulo 9
Norwalk 8
Milan 7
Orem 7
Trieste 7
Johannesburg 6
Redmond 6
Stockholm 6
Tashkent 6
Turku 6
Addis Ababa 5
Da Nang 5
Dhaka 5
Dong Ket 5
Haiphong 5
Montreal 5
Rio de Janeiro 5
Baghdad 4
Brooklyn 4
Chicago 4
Grafing 4
Guarulhos 4
Munich 4
Saint Petersburg 4
Toronto 4
Warsaw 4
Amsterdam 3
Atlanta 3
Baku 3
Casablanca 3
Chennai 3
Guangzhou 3
Hải Dương 3
Istanbul 3
Kocaeli 3
Kunming 3
Lahore 3
Manila 3
Nanchang 3
Petrolina 3
Poplar 3
Porto Alegre 3
Salvador 3
San Francisco 3
Shanghai 3
São Bernardo do Campo 3
The Bronx 3
Zhengzhou 3
Belo Horizonte 2
Biên Hòa 2
Blumenau 2
Bogotá 2
Boston 2
Buenos Aires 2
Cape Town 2
Caracas 2
Chengdu 2
Curitiba 2
Totale 3.373
Salva come PNG Salva come JPEG
Nome #
Expressing Infinity without Foundation 220
Cut Elimination for Gentzen's Sequent Calculus with Equality and Logic of Partial Terms 201
Decision Procedures for Elementary Sublanguages of Set Theory XIII. Model Graphs, Reflection and Decidability. 191
Undecidability Results for Restricted Universally Quantified Formulae of Set Theory 190
Note on: The Logically Simplest Form of the Infinity Axiom 173
Decidability and Completeness for Open Formulas of Membership Theories 171
Decidability of E*A-sentences in Membership Theories 170
Henkin's Completeness Proof and Glivenko's Theorem 166
Iterated Reflection Principles and Induction Principles over Primitive recursive Arithmetic 157
Finite families with few symmetric differences 157
Truth-value semantics and functional extensions for classical logic of partial terms based on equality 152
The Elimination of Atomic Cuts and the Semishortening Property for Gentzen's Sequent Calculus with Equality 141
Truth-value Semantics and Functional Extensions for Classical Logic of Partial Terms Based on Equality 139
A derived algorithm for evaluating epsilon-expressions over abstract sets 136
Undecidability of weak membership theories 134
A contribution to the Automated Treatment of Membership Theories 131
Absorbing the structural rules in the sequent calculus with additional atomic rules 131
Truth Table for a Combinatorial Kernel of Set Theories 130
The decidability of the A*E-class and the Axiom of Foundation 129
The Logically Simplest Form of the Infinity Axiom 129
REFLECTION AND INDUCTION PRINCIPLES RELATIVE TO PRIMITIVE RECURSIVE ARITHMETIC 127
Binumerability in a Sequence of Theories 124
Elaborazione dell'Informazione Non Numerica 118
Witnessing differences without redundancies 117
The Cut-Elimination and Nonlegthening Property for Gentzen's Sequent Calculus for First Order Logic with Equality 116
Admissibility of the structural rules in Kanger’s sequent calculus for first order logic with equality 112
Models, Equality, Undefiniteness 111
Secision Procedures for Elementary Sublanguages of Set Theory XI. Unsolvability of the Decision Problem for a Restricted Subclass of the Delta_0-Formulas in Set Theory 110
Decidability of E*AA-sentences in HF 105
Absorbing the structural rules in the sequent calculus with additional atomic rules 105
Sulla Completezza della omega-regola 100
The Subterm Property for the Sequent Calculus with Equality 97
Decidability of the A*E* class in the theory NWL Notes in Logic n.6 183-194 95
Formazione iniziale degli insegnanti di scuola secondaria a Udine 88
PRA Provability of Schmerl's Fine Structure Theorem 87
Sui Sistemi Metaformali e le Progressioni Ricorsive di teorie 86
Regole e Principi di di Induzioner Ristretti Relativi s PRA 84
logic and Logic Programming 84
On the admissibiity of the structural rules in Kanger's sequent calculus with restricted equality Rules 71
Truth in V for E*AA-sentences is decidable 69
A Note on the Sequent Calculi G3[mic]= 68
The subterm property for some equality sequent calculi 59
Totale 5.281
Salva come PNG Salva come JPEG
Categoria #
all - tutte 18.278
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 18.278
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022388 23 35 19 36 3 16 17 11 3 60 106 59
2022/2023442 55 46 12 46 46 113 1 30 69 3 5 16
2023/2024118 21 14 2 0 26 8 0 2 17 9 0 19
2024/2025709 16 49 60 14 21 31 53 14 37 37 133 244
2025/20261.303 69 133 125 179 183 118 129 34 103 128 74 28
2026/202710 10 0 0 0 0 0 0 0 0 0 0 0
Totale 5.281