IRIS
PARLAMENTO, Franco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.286
AS - Asia 1.283
EU - Europa 840
SA - Sud America 184
Continente sconosciuto - Info sul continente non disponibili 43
AF - Africa 32
OC - Oceania 1
Totale 5.669
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.193
SG - Singapore 598
CN - Cina 277
UA - Ucraina 228
BR - Brasile 142
VN - Vietnam 115
DE - Germania 112
HK - Hong Kong 110
IT - Italia 97
FI - Finlandia 91
RU - Federazione Russa 77
SE - Svezia 63
CA - Canada 51
FR - Francia 48
GB - Regno Unito 42
IE - Irlanda 41
TR - Turchia 34
KR - Corea 25
IN - India 24
AR - Argentina 18
JP - Giappone 16
ID - Indonesia 15
BE - Belgio 14
ZA - Sudafrica 13
BD - Bangladesh 11
IQ - Iraq 8
MX - Messico 8
UZ - Uzbekistan 8
PH - Filippine 7
CR - Costa Rica 6
ES - Italia 6
PK - Pakistan 6
TT - Trinidad e Tobago 6
EC - Ecuador 5
ET - Etiopia 5
HN - Honduras 5
MA - Marocco 5
SA - Arabia Saudita 5
VE - Venezuela 5
CO - Colombia 4
GT - Guatemala 4
NI - Nicaragua 4
NL - Olanda 4
PL - Polonia 4
AZ - Azerbaigian 3
CL - Cile 3
EE - Estonia 3
EG - Egitto 3
LT - Lituania 3
PE - Perù 3
AE - Emirati Arabi Uniti 2
EU - Europa 2
IL - Israele 2
JM - Giamaica 2
JO - Giordania 2
KZ - Kazakistan 2
LB - Libano 2
MY - Malesia 2
NP - Nepal 2
PT - Portogallo 2
PY - Paraguay 2
SV - El Salvador 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
BS - Bahamas 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
GP - Guadalupe 1
KE - Kenya 1
KW - Kuwait 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.628
Salva come PNG Salva come JPEG
Città #
Ann Arbor 420
Woodbridge 363
Singapore 253
Chandler 220
Fairfield 209
Ashburn 169
Jacksonville 165
Houston 157
San Jose 140
Beijing 122
Hong Kong 109
Wilmington 95
Seattle 87
Dearborn 84
Cambridge 74
Council Bluffs 56
Boardman 49
Princeton 43
Dublin 40
Ho Chi Minh City 39
Lauterbourg 37
Los Angeles 31
Buffalo 27
Hanoi 27
Hefei 27
Izmir 24
Seoul 23
Udine 22
London 18
Helsinki 17
Des Moines 16
San Diego 16
Brussels 14
Ottawa 14
Dallas 13
Nanjing 13
Santa Clara 13
Tokyo 13
Milan 12
Chicago 11
Frankfurt am Main 11
Ogden 11
New York 10
São Paulo 10
The Dalles 10
Redondo Beach 9
Staranzano 9
Denver 8
Norwalk 8
Toronto 8
Orem 7
Trieste 7
Johannesburg 6
Montreal 6
Redmond 6
Stockholm 6
Tashkent 6
Turku 6
Addis Ababa 5
Brooklyn 5
Da Nang 5
Dhaka 5
Dong Ket 5
Haiphong 5
Rio de Janeiro 5
San José 5
Baghdad 4
Bogotá 4
Chaguanas 4
Grafing 4
Guarulhos 4
Managua 4
Munich 4
North Bergen 4
Saint Petersburg 4
San Francisco 4
Shanghai 4
Springfield 4
The Bronx 4
Warsaw 4
Washington 4
Amsterdam 3
Atlanta 3
Baku 3
Calgary 3
Casablanca 3
Charlotte 3
Chennai 3
Curitiba 3
Guangzhou 3
Guatemala City 3
Hải Dương 3
Istanbul 3
Kocaeli 3
Kunming 3
Lahore 3
Manila 3
Memphis 3
Nanchang 3
Petrolina 3
Totale 3.583
Salva come PNG Salva come JPEG
Nome #
Expressing Infinity without Foundation 235
Decision Procedures for Elementary Sublanguages of Set Theory XIII. Model Graphs, Reflection and Decidability. 212
Cut Elimination for Gentzen's Sequent Calculus with Equality and Logic of Partial Terms 207
Decidability of E*A-sentences in Membership Theories 202
Undecidability Results for Restricted Universally Quantified Formulae of Set Theory 196
Decidability and Completeness for Open Formulas of Membership Theories 181
Note on: The Logically Simplest Form of the Infinity Axiom 179
Henkin's Completeness Proof and Glivenko's Theorem 172
Iterated Reflection Principles and Induction Principles over Primitive recursive Arithmetic 166
Finite families with few symmetric differences 165
Truth-value semantics and functional extensions for classical logic of partial terms based on equality 160
The Elimination of Atomic Cuts and the Semishortening Property for Gentzen's Sequent Calculus with Equality 154
A derived algorithm for evaluating epsilon-expressions over abstract sets 149
Truth-value Semantics and Functional Extensions for Classical Logic of Partial Terms Based on Equality 147
Undecidability of weak membership theories 143
The Logically Simplest Form of the Infinity Axiom 139
Absorbing the structural rules in the sequent calculus with additional atomic rules 139
Truth Table for a Combinatorial Kernel of Set Theories 138
The decidability of the A*E-class and the Axiom of Foundation 138
A contribution to the Automated Treatment of Membership Theories 138
REFLECTION AND INDUCTION PRINCIPLES RELATIVE TO PRIMITIVE RECURSIVE ARITHMETIC 136
Binumerability in a Sequence of Theories 134
Witnessing differences without redundancies 128
Elaborazione dell'Informazione Non Numerica 126
The Cut-Elimination and Nonlegthening Property for Gentzen's Sequent Calculus for First Order Logic with Equality 125
Admissibility of the structural rules in Kanger’s sequent calculus for first order logic with equality 121
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 120
Models, Equality, Undefiniteness 118
Decidability of E*AA-sentences in HF 114
Absorbing the structural rules in the sequent calculus with additional atomic rules 111
Sulla Completezza della omega-regola 106
Decidability of the A*E* class in the theory NWL Notes in Logic n.6 183-194 102
The Subterm Property for the Sequent Calculus with Equality 102
Sui Sistemi Metaformali e le Progressioni Ricorsive di teorie 96
PRA Provability of Schmerl's Fine Structure Theorem 94
logic and Logic Programming 93
Formazione iniziale degli insegnanti di scuola secondaria a Udine 92
Regole e Principi di di Induzioner Ristretti Relativi s PRA 91
On the admissibiity of the structural rules in Kanger's sequent calculus with restricted equality Rules 78
Truth in V for E*AA-sentences is decidable 77
A Note on the Sequent Calculi G3[mic]= 76
The subterm property for some equality sequent calculi 69
Totale 5.669
Salva come PNG Salva come JPEG
Categoria #
all - tutte 19.828
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 19.828
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022311 0 0 0 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/2027398 30 107 129 132 0 0 0 0 0 0 0 0
Totale 5.669