IRIS
PARLAMENTO, Franco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.563
EU - Europa 692
AS - Asia 390
SA - Sud America 35
AF - Africa 5
Continente sconosciuto - Info sul continente non disponibili 2
OC - Oceania 1
Totale 3.688
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.543
UA - Ucraina 226
SG - Singapore 206
CN - Cina 99
DE - Germania 98
FI - Finlandia 77
RU - Federazione Russa 74
IT - Italia 63
SE - Svezia 57
IE - Irlanda 39
BR - Brasile 32
GB - Regno Unito 32
TR - Turchia 26
KR - Corea 24
CA - Canada 18
BE - Belgio 14
IN - India 10
HK - Hong Kong 6
FR - Francia 5
VN - Vietnam 5
JP - Giappone 4
UZ - Uzbekistan 4
EU - Europa 2
NL - Olanda 2
TG - Togo 2
ZA - Sudafrica 2
AE - Emirati Arabi Uniti 1
AR - Argentina 1
AT - Austria 1
AU - Australia 1
AZ - Azerbaigian 1
BG - Bulgaria 1
CO - Colombia 1
IL - Israele 1
IQ - Iraq 1
LA - Repubblica Popolare Democratica del Laos 1
MA - Marocco 1
MD - Moldavia 1
MX - Messico 1
PA - Panama 1
PE - Perù 1
PH - Filippine 1
PL - Polonia 1
PT - Portogallo 1
Totale 3.688
Salva come PNG Salva come JPEG
Città #
Ann Arbor 420
Woodbridge 363
Chandler 219
Fairfield 209
Jacksonville 165
Houston 155
Singapore 147
Ashburn 109
Wilmington 95
Seattle 86
Dearborn 84
Cambridge 74
Boardman 49
Beijing 43
Princeton 43
Dublin 39
Izmir 23
Seoul 23
Udine 22
Des Moines 16
San Diego 16
Brussels 14
Ottawa 14
Nanjing 11
Ogden 11
Hefei 9
Norwalk 8
Trieste 7
Milan 6
Redmond 6
Dong Ket 5
Helsinki 5
Hong Kong 5
Grafing 4
Saint Petersburg 4
Tokyo 4
Toronto 4
Turku 4
Guangzhou 3
Kocaeli 3
Kunming 3
Nanchang 3
San Francisco 3
Santa Clara 3
Tashkent 3
The Dalles 3
Amsterdam 2
Chengdu 2
Council Bluffs 2
Fuzhou 2
Gif-sur-Yvette 2
Indiana 2
Jinan 2
Karlsruhe 2
Lomé 2
Los Angeles 2
Redwood City 2
Rio de Janeiro 2
Shanghai 2
Shenyang 2
Simi Valley 2
São Paulo 2
Treviso 2
Zhengzhou 2
Aruanã 1
Arzano 1
Auburn Hills 1
Baku 1
Baotou 1
Basra 1
Belo Horizonte 1
Bogotá 1
Bom Repouso 1
Brooklyn 1
Carapicuíba 1
Cerquilho 1
Chicago 1
Chions 1
Chisinau 1
El Talar 1
Fayetteville 1
Francisco Beltrão 1
Guanambi 1
Guarulhos 1
Hebei 1
Hyderabad 1
Ilhéus 1
Itambé 1
Jacobina 1
Jaú 1
Jian 1
Johannesburg 1
João Pessoa 1
Latisana 1
Leawood 1
Leesburg 1
Lima region 1
Lisbon 1
Londrina 1
Manhuaçu 1
Totale 2.617
Salva come PNG Salva come JPEG
Nome #
Expressing Infinity without Foundation 167
Note on: The Logically Simplest Form of the Infinity Axiom 153
Undecidability Results for Restricted Universally Quantified Formulae of Set Theory 151
Cut Elimination for Gentzen's Sequent Calculus with Equality and Logic of Partial Terms 139
Decidability and Completeness for Open Formulas of Membership Theories 136
Finite families with few symmetric differences 125
Henkin's Completeness Proof and Glivenko's Theorem 124
Decision Procedures for Elementary Sublanguages of Set Theory XIII. Model Graphs, Reflection and Decidability. 121
Truth-value semantics and functional extensions for classical logic of partial terms based on equality 121
Truth-value Semantics and Functional Extensions for Classical Logic of Partial Terms Based on Equality 110
Undecidability of weak membership theories 109
Decidability of E*A-sentences in Membership Theories 107
Truth Table for a Combinatorial Kernel of Set Theories 105
The decidability of the A*E-class and the Axiom of Foundation 103
Iterated Reflection Principles and Induction Principles over Primitive recursive Arithmetic 100
The Logically Simplest Form of the Infinity Axiom 94
A derived algorithm for evaluating epsilon-expressions over abstract sets 93
A contribution to the Automated Treatment of Membership Theories 91
Binumerability in a Sequence of Theories 90
REFLECTION AND INDUCTION PRINCIPLES RELATIVE TO PRIMITIVE RECURSIVE ARITHMETIC 90
Absorbing the structural rules in the sequent calculus with additional atomic rules 90
The Cut-Elimination and Nonlegthening Property for Gentzen's Sequent Calculus for First Order Logic with Equality 89
Witnessing differences without redundancies 83
Models, Equality, Undefiniteness 83
The Elimination of Atomic Cuts and the Semishortening Property for Gentzen's Sequent Calculus with Equality 78
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 74
Elaborazione dell'Informazione Non Numerica 74
Sulla Completezza della omega-regola 72
Decidability of the A*E* class in the theory NWL Notes in Logic n.6 183-194 71
Admissibility of the structural rules in Kanger’s sequent calculus for first order logic with equality 71
PRA Provability of Schmerl's Fine Structure Theorem 64
The Subterm Property for the Sequent Calculus with Equality 64
Sui Sistemi Metaformali e le Progressioni Ricorsive di teorie 63
Absorbing the structural rules in the sequent calculus with additional atomic rules 62
logic and Logic Programming 60
Decidability of E*AA-sentences in HF 60
Regole e Principi di di Induzioner Ristretti Relativi s PRA 57
Formazione iniziale degli insegnanti di scuola secondaria a Udine 47
Truth in V for E*AA-sentences is decidable 38
The subterm property for some equality sequent calculi 38
A Note on the Sequent Calculi G3[mic]= 33
On the admissibiity of the structural rules in Kanger's sequent calculus with restricted equality Rules 29
Totale 3.729
Salva come PNG Salva come JPEG
Categoria #
all - tutte 13.342
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 13.342
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202057 0 0 0 0 0 0 0 0 0 0 0 57
2020/2021540 15 77 7 55 36 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/2025470 16 49 60 14 21 31 53 14 37 37 133 5
Totale 3.729