IRIS
PARLAMENTO, Franco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.915
AS - Asia 1.261
EU - Europa 794
SA - Sud America 173
AF - Africa 32
Continente sconosciuto - Info sul continente non disponibili 2
OC - Oceania 1
Totale 5.178
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.878
SG - Singapore 594
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 68
SE - Svezia 63
FR - Francia 48
GB - Regno Unito 41
IE - Irlanda 40
TR - Turchia 34
CA - Canada 27
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
ET - Etiopia 5
MA - Marocco 5
SA - Arabia Saudita 5
EC - Ecuador 4
PL - Polonia 4
VE - Venezuela 4
AZ - Azerbaigian 3
CL - Cile 3
EG - Egitto 3
LT - Lituania 3
NL - Olanda 3
AE - Emirati Arabi Uniti 2
CO - Colombia 2
EU - Europa 2
IL - Israele 2
JO - Giordania 2
KZ - Kazakistan 2
LB - Libano 2
NP - Nepal 2
PE - Perù 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
DZ - Algeria 1
JM - Giamaica 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
PT - Portogallo 1
RS - Serbia 1
SK - Slovacchia (Repubblica Slovacca) 1
UY - Uruguay 1
Totale 5.178
Salva come PNG Salva come JPEG
Città #
Ann Arbor 420
Woodbridge 363
Singapore 250
Chandler 219
Fairfield 209
Jacksonville 165
Houston 157
Ashburn 137
Beijing 121
Hong Kong 108
Wilmington 95
Seattle 86
Dearborn 84
San Jose 80
Cambridge 74
Boardman 49
Princeton 43
Dublin 40
Ho Chi Minh City 38
Lauterbourg 37
Los Angeles 29
Hefei 27
Buffalo 26
Hanoi 26
Izmir 24
Seoul 23
Udine 22
Helsinki 17
Des Moines 16
San Diego 16
Brussels 14
Ottawa 14
Nanjing 13
Ogden 11
Tokyo 11
Dallas 10
The Dalles 10
New York 9
Redondo Beach 9
São Paulo 9
Council Bluffs 8
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
Grafing 4
Guarulhos 4
London 4
Munich 4
Saint Petersburg 4
Santa Clara 4
Toronto 4
Warsaw 4
Amsterdam 3
Atlanta 3
Baku 3
Casablanca 3
Chennai 3
Chicago 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.342
Salva come PNG Salva come JPEG
Nome #
Expressing Infinity without Foundation 217
Cut Elimination for Gentzen's Sequent Calculus with Equality and Logic of Partial Terms 198
Undecidability Results for Restricted Universally Quantified Formulae of Set Theory 188
Decision Procedures for Elementary Sublanguages of Set Theory XIII. Model Graphs, Reflection and Decidability. 183
Note on: The Logically Simplest Form of the Infinity Axiom 170
Decidability and Completeness for Open Formulas of Membership Theories 170
Henkin's Completeness Proof and Glivenko's Theorem 165
Decidability of E*A-sentences in Membership Theories 159
Finite families with few symmetric differences 157
Iterated Reflection Principles and Induction Principles over Primitive recursive Arithmetic 156
Truth-value semantics and functional extensions for classical logic of partial terms based on equality 150
Truth-value Semantics and Functional Extensions for Classical Logic of Partial Terms Based on Equality 139
The Elimination of Atomic Cuts and the Semishortening Property for Gentzen's Sequent Calculus with Equality 137
A derived algorithm for evaluating epsilon-expressions over abstract sets 135
Undecidability of weak membership theories 134
Truth Table for a Combinatorial Kernel of Set Theories 130
A contribution to the Automated Treatment of Membership Theories 130
The decidability of the A*E-class and the Axiom of Foundation 129
The Logically Simplest Form of the Infinity Axiom 129
Absorbing the structural rules in the sequent calculus with additional atomic rules 129
REFLECTION AND INDUCTION PRINCIPLES RELATIVE TO PRIMITIVE RECURSIVE ARITHMETIC 127
Binumerability in a Sequence of Theories 123
Witnessing differences without redundancies 117
The Cut-Elimination and Nonlegthening Property for Gentzen's Sequent Calculus for First Order Logic with Equality 116
Elaborazione dell'Informazione Non Numerica 113
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 109
Absorbing the structural rules in the sequent calculus with additional atomic rules 104
Decidability of E*AA-sentences in HF 101
Sulla Completezza della omega-regola 97
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
PRA Provability of Schmerl's Fine Structure Theorem 87
Formazione iniziale degli insegnanti di scuola secondaria a Udine 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 83
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]= 67
The subterm property for some equality sequent calculi 58
Totale 5.219
Salva come PNG Salva come JPEG
Categoria #
all - tutte 17.708
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 17.708
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202190 0 0 0 0 0 0 0 0 0 0 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/20261.251 69 133 125 179 183 118 129 34 103 128 50 0
Totale 5.219