IRIS
PARLAMENTO, Franco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.738
AS - Asia 1.044
EU - Europa 729
SA - Sud America 155
AF - Africa 22
Continente sconosciuto - Info sul continente non disponibili 2
OC - Oceania 1
Totale 4.691
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.704
SG - Singapore 506
CN - Cina 236
UA - Ucraina 227
BR - Brasile 132
HK - Hong Kong 102
DE - Germania 101
VN - Vietnam 82
FI - Finlandia 80
RU - Federazione Russa 76
IT - Italia 65
SE - Svezia 63
GB - Regno Unito 40
IE - Irlanda 39
TR - Turchia 28
KR - Corea 25
CA - Canada 24
IN - India 17
BE - Belgio 14
ZA - Sudafrica 12
AR - Argentina 11
ID - Indonesia 11
JP - Giappone 7
MX - Messico 7
FR - Francia 5
UZ - Uzbekistan 5
BD - Bangladesh 4
EC - Ecuador 4
MA - Marocco 4
PK - Pakistan 4
PL - Polonia 4
ES - Italia 3
LT - Lituania 3
NL - Olanda 3
AZ - Azerbaigian 2
CL - Cile 2
EG - Egitto 2
EU - Europa 2
IL - Israele 2
IQ - Iraq 2
PY - Paraguay 2
SA - Arabia Saudita 2
TG - Togo 2
AE - Emirati Arabi Uniti 1
AT - Austria 1
AU - Australia 1
BG - Bulgaria 1
BH - Bahrain 1
CO - Colombia 1
CR - Costa Rica 1
DZ - Algeria 1
ET - Etiopia 1
JM - Giamaica 1
JO - Giordania 1
KZ - Kazakistan 1
LA - Repubblica Popolare Democratica del Laos 1
LB - Libano 1
MD - Moldavia 1
NP - Nepal 1
PA - Panama 1
PE - Perù 1
PH - Filippine 1
PT - Portogallo 1
RS - Serbia 1
SK - Slovacchia (Repubblica Slovacca) 1
TW - Taiwan 1
UY - Uruguay 1
VE - Venezuela 1
Totale 4.691
Salva come PNG Salva come JPEG
Città #
Ann Arbor 420
Woodbridge 363
Chandler 219
Fairfield 209
Singapore 203
Jacksonville 165
Houston 157
Ashburn 124
Beijing 120
Hong Kong 101
Wilmington 95
Seattle 86
Dearborn 84
Cambridge 74
Boardman 49
Princeton 43
Dublin 39
Ho Chi Minh City 30
Los Angeles 28
Hefei 27
Buffalo 26
Izmir 23
Seoul 23
Udine 22
Hanoi 18
Des Moines 16
San Diego 16
Brussels 14
Ottawa 14
Nanjing 13
Ogden 11
Dallas 10
New York 9
Redondo Beach 9
São Paulo 9
Council Bluffs 8
Norwalk 8
Milan 7
Trieste 7
Helsinki 6
Johannesburg 6
Orem 6
Redmond 6
Stockholm 6
Turku 6
Dong Ket 5
Haiphong 5
Rio de Janeiro 5
The Dalles 5
Tokyo 5
Brooklyn 4
Da Nang 4
Dhaka 4
Grafing 4
Guarulhos 4
Montreal 4
Munich 4
Saint Petersburg 4
Santa Clara 4
Tashkent 4
Toronto 4
Warsaw 4
Amsterdam 3
Chicago 3
Guangzhou 3
Kocaeli 3
Kunming 3
Nanchang 3
Petrolina 3
Poplar 3
Porto Alegre 3
Salvador 3
San Francisco 3
São Bernardo do Campo 3
Zhengzhou 3
Baku 2
Belo Horizonte 2
Biên Hòa 2
Blumenau 2
Boston 2
Buenos Aires 2
Cape Town 2
Casablanca 2
Chengdu 2
Chennai 2
Curitiba 2
Fayetteville 2
Feira de Santana 2
Fuzhou 2
Gif-sur-Yvette 2
Guaçuí 2
Hải Dương 2
Indiana 2
Jinan 2
Karlsruhe 2
Lomé 2
London 2
Mexico City 2
Nova Iguaçu 2
Phoenix 2
Totale 3.097
Salva come PNG Salva come JPEG
Nome #
Expressing Infinity without Foundation 193
Cut Elimination for Gentzen's Sequent Calculus with Equality and Logic of Partial Terms 178
Undecidability Results for Restricted Universally Quantified Formulae of Set Theory 171
Note on: The Logically Simplest Form of the Infinity Axiom 167
Decision Procedures for Elementary Sublanguages of Set Theory XIII. Model Graphs, Reflection and Decidability. 162
Decidability and Completeness for Open Formulas of Membership Theories 161
Henkin's Completeness Proof and Glivenko's Theorem 155
Finite families with few symmetric differences 148
Iterated Reflection Principles and Induction Principles over Primitive recursive Arithmetic 143
Truth-value semantics and functional extensions for classical logic of partial terms based on equality 143
Decidability of E*A-sentences in Membership Theories 142
Truth-value Semantics and Functional Extensions for Classical Logic of Partial Terms Based on Equality 130
Undecidability of weak membership theories 127
A derived algorithm for evaluating epsilon-expressions over abstract sets 123
Truth Table for a Combinatorial Kernel of Set Theories 122
The decidability of the A*E-class and the Axiom of Foundation 121
Absorbing the structural rules in the sequent calculus with additional atomic rules 119
The Logically Simplest Form of the Infinity Axiom 118
A contribution to the Automated Treatment of Membership Theories 116
REFLECTION AND INDUCTION PRINCIPLES RELATIVE TO PRIMITIVE RECURSIVE ARITHMETIC 115
The Elimination of Atomic Cuts and the Semishortening Property for Gentzen's Sequent Calculus with Equality 115
Binumerability in a Sequence of Theories 112
Witnessing differences without redundancies 105
The Cut-Elimination and Nonlegthening Property for Gentzen's Sequent Calculus for First Order Logic with Equality 105
Elaborazione dell'Informazione Non Numerica 103
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 100
Models, Equality, Undefiniteness 100
Admissibility of the structural rules in Kanger’s sequent calculus for first order logic with equality 99
Absorbing the structural rules in the sequent calculus with additional atomic rules 91
Decidability of E*AA-sentences in HF 89
Sulla Completezza della omega-regola 87
Decidability of the A*E* class in the theory NWL Notes in Logic n.6 183-194 87
PRA Provability of Schmerl's Fine Structure Theorem 79
The Subterm Property for the Sequent Calculus with Equality 79
Regole e Principi di di Induzioner Ristretti Relativi s PRA 75
logic and Logic Programming 75
Sui Sistemi Metaformali e le Progressioni Ricorsive di teorie 75
Formazione iniziale degli insegnanti di scuola secondaria a Udine 72
On the admissibiity of the structural rules in Kanger's sequent calculus with restricted equality Rules 62
Truth in V for E*AA-sentences is decidable 60
A Note on the Sequent Calculi G3[mic]= 58
The subterm property for some equality sequent calculi 50
Totale 4.732
Salva come PNG Salva come JPEG
Categoria #
all - tutte 16.565
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 16.565
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021350 0 0 0 0 0 62 32 48 90 28 61 29
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/2026764 69 133 125 179 183 75 0 0 0 0 0 0
Totale 4.732