IRIS
PARLAMENTO, Franco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.113
AS - Asia 1.274
EU - Europa 805
SA - Sud America 176
Continente sconosciuto - Info sul continente non disponibili 43
AF - Africa 32
OC - Oceania 1
Totale 5.444
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.057
SG - Singapore 598
CN - Cina 276
UA - Ucraina 228
BR - Brasile 140
VN - Vietnam 114
HK - Hong Kong 110
DE - Germania 102
FI - Finlandia 91
RU - Federazione Russa 77
IT - Italia 76
SE - Svezia 63
FR - Francia 48
GB - Regno Unito 41
IE - Irlanda 41
CA - Canada 39
TR - Turchia 34
KR - Corea 25
IN - India 24
AR - Argentina 16
BE - Belgio 14
JP - Giappone 14
ID - Indonesia 13
ZA - Sudafrica 13
BD - Bangladesh 10
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
CR - Costa Rica 3
EG - Egitto 3
LT - Lituania 3
AE - Emirati Arabi Uniti 2
CO - Colombia 2
EU - Europa 2
GT - Guatemala 2
IL - Israele 2
JM - Giamaica 2
JO - Giordania 2
KZ - Kazakistan 2
LB - Libano 2
MY - Malesia 2
NP - Nepal 2
PE - Perù 2
PT - Portogallo 2
PY - Paraguay 2
TG - Togo 2
TW - Taiwan 2
UY - Uruguay 2
AT - Austria 1
AU - Australia 1
BG - Bulgaria 1
BH - Bahrain 1
BM - Bermuda 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
Totale 5.403
Salva come PNG Salva come JPEG
Città #
Ann Arbor 420
Woodbridge 363
Singapore 253
Chandler 219
Fairfield 209
Jacksonville 165
Houston 157
Ashburn 149
San Jose 125
Beijing 122
Hong Kong 109
Wilmington 95
Seattle 86
Dearborn 84
Cambridge 74
Council Bluffs 56
Boardman 49
Princeton 43
Dublin 40
Ho Chi Minh City 38
Lauterbourg 37
Los Angeles 30
Buffalo 27
Hanoi 27
Hefei 27
Izmir 24
Seoul 23
Udine 22
Helsinki 17
Des Moines 16
San Diego 16
Brussels 14
London 14
Ottawa 14
Nanjing 13
Santa Clara 12
Ogden 11
Tokyo 11
Dallas 10
Milan 10
New York 10
The Dalles 10
Redondo Beach 9
São Paulo 9
Norwalk 8
Chicago 7
Orem 7
Trieste 7
Johannesburg 6
Redmond 6
Stockholm 6
Tashkent 6
Turku 6
Addis Ababa 5
Brooklyn 5
Da Nang 5
Dhaka 5
Dong Ket 5
Haiphong 5
Montreal 5
Rio de Janeiro 5
Baghdad 4
Grafing 4
Guarulhos 4
Munich 4
Saint Petersburg 4
San Francisco 4
Shanghai 4
Springfield 4
Toronto 4
Warsaw 4
Amsterdam 3
Atlanta 3
Baku 3
Casablanca 3
Chennai 3
Curitiba 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 José 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
Totale 3.488
Salva come PNG Salva come JPEG
Nome #
Expressing Infinity without Foundation 226
Decision Procedures for Elementary Sublanguages of Set Theory XIII. Model Graphs, Reflection and Decidability. 204
Cut Elimination for Gentzen's Sequent Calculus with Equality and Logic of Partial Terms 204
Undecidability Results for Restricted Universally Quantified Formulae of Set Theory 192
Decidability of E*A-sentences in Membership Theories 184
Decidability and Completeness for Open Formulas of Membership Theories 176
Note on: The Logically Simplest Form of the Infinity Axiom 175
Henkin's Completeness Proof and Glivenko's Theorem 168
Iterated Reflection Principles and Induction Principles over Primitive recursive Arithmetic 160
Finite families with few symmetric differences 159
Truth-value semantics and functional extensions for classical logic of partial terms based on equality 154
The Elimination of Atomic Cuts and the Semishortening Property for Gentzen's Sequent Calculus with Equality 145
Truth-value Semantics and Functional Extensions for Classical Logic of Partial Terms Based on Equality 144
A derived algorithm for evaluating epsilon-expressions over abstract sets 140
Undecidability of weak membership theories 139
A contribution to the Automated Treatment of Membership Theories 134
Truth Table for a Combinatorial Kernel of Set Theories 133
The Logically Simplest Form of the Infinity Axiom 133
Absorbing the structural rules in the sequent calculus with additional atomic rules 133
The decidability of the A*E-class and the Axiom of Foundation 132
REFLECTION AND INDUCTION PRINCIPLES RELATIVE TO PRIMITIVE RECURSIVE ARITHMETIC 132
Binumerability in a Sequence of Theories 130
Elaborazione dell'Informazione Non Numerica 121
Witnessing differences without redundancies 119
The Cut-Elimination and Nonlegthening Property for Gentzen's Sequent Calculus for First Order Logic with Equality 119
Models, Equality, Undefiniteness 115
Admissibility of the structural rules in Kanger’s sequent calculus for first order logic with equality 115
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 112
Decidability of E*AA-sentences in HF 110
Absorbing the structural rules in the sequent calculus with additional atomic rules 107
Sulla Completezza della omega-regola 102
The Subterm Property for the Sequent Calculus with Equality 99
Decidability of the A*E* class in the theory NWL Notes in Logic n.6 183-194 98
PRA Provability of Schmerl's Fine Structure Theorem 92
logic and Logic Programming 90
Formazione iniziale degli insegnanti di scuola secondaria a Udine 90
Sui Sistemi Metaformali e le Progressioni Ricorsive di teorie 90
Regole e Principi di di Induzioner Ristretti Relativi s PRA 88
On the admissibiity of the structural rules in Kanger's sequent calculus with restricted equality Rules 73
Truth in V for E*AA-sentences is decidable 72
A Note on the Sequent Calculi G3[mic]= 72
The subterm property for some equality sequent calculi 63
Totale 5.444
Salva come PNG Salva come JPEG
Categoria #
all - tutte 18.940
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.940
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022330 0 0 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/2027173 30 107 36 0 0 0 0 0 0 0 0 0
Totale 5.444