IRIS
PARLAMENTO, Franco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.462
EU - Europa 607
AS - Asia 148
AF - Africa 2
Continente sconosciuto - Info sul continente non disponibili 2
OC - Oceania 1
Totale 3.222
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.445
UA - Ucraina 224
DE - Germania 93
CN - Cina 84
FI - Finlandia 72
IT - Italia 63
SE - Svezia 57
IE - Irlanda 39
GB - Regno Unito 31
TR - Turchia 26
SG - Singapore 19
CA - Canada 17
BE - Belgio 14
IN - India 10
RU - Federazione Russa 9
FR - Francia 5
VN - Vietnam 5
JP - Giappone 3
EU - Europa 2
TG - Togo 2
AU - Australia 1
KR - Corea 1
Totale 3.222
Salva come PNG Salva come JPEG
Città #
Ann Arbor 420
Woodbridge 363
Chandler 219
Fairfield 209
Jacksonville 165
Houston 155
Ashburn 107
Wilmington 95
Seattle 86
Dearborn 84
Cambridge 74
Princeton 42
Dublin 39
Beijing 36
Izmir 23
Udine 22
Singapore 19
Des Moines 16
San Diego 16
Brussels 14
Ottawa 14
Ogden 11
Nanjing 10
Hefei 9
Norwalk 8
Boardman 7
Trieste 7
Milan 6
Redmond 6
Dong Ket 5
Grafing 4
Helsinki 4
Saint Petersburg 4
Guangzhou 3
Kocaeli 3
Kunming 3
Nanchang 3
San Francisco 3
Tokyo 3
Toronto 3
Chengdu 2
Fuzhou 2
Gif-sur-Yvette 2
Indiana 2
Jinan 2
Karlsruhe 2
Lomé 2
Redwood City 2
Shenyang 2
Simi Valley 2
Treviso 2
Zhengzhou 2
Arzano 1
Auburn Hills 1
Baotou 1
Chions 1
Hebei 1
Hyderabad 1
Jian 1
Latisana 1
Leawood 1
Leesburg 1
Monmouth Junction 1
Moscow 1
Ningbo 1
Nuremberg 1
Palmanova 1
Phoenix 1
Port Macquarie 1
Rodgau 1
Rome 1
San Mateo 1
Southwark 1
Susegana 1
Verona 1
Wiesbaden 1
Zhoushan 1
Totale 2.369
Salva come PNG Salva come JPEG
Nome #
Expressing Infinity without Foundation 149
Undecidability Results for Restricted Universally Quantified Formulae of Set Theory 144
Note on: The Logically Simplest Form of the Infinity Axiom 143
Cut Elimination for Gentzen's Sequent Calculus with Equality and Logic of Partial Terms 126
Decidability and Completeness for Open Formulas of Membership Theories 121
Truth-value semantics and functional extensions for classical logic of partial terms based on equality 114
Henkin's Completeness Proof and Glivenko's Theorem 112
Decision Procedures for Elementary Sublanguages of Set Theory XIII. Model Graphs, Reflection and Decidability. 107
Undecidability of weak membership theories 103
Finite families with few symmetric differences 102
Truth-value Semantics and Functional Extensions for Classical Logic of Partial Terms Based on Equality 101
Truth Table for a Combinatorial Kernel of Set Theories 95
The decidability of the A*E-class and the Axiom of Foundation 95
Decidability of E*A-sentences in Membership Theories 91
Iterated Reflection Principles and Induction Principles over Primitive recursive Arithmetic 85
The Logically Simplest Form of the Infinity Axiom 85
REFLECTION AND INDUCTION PRINCIPLES RELATIVE TO PRIMITIVE RECURSIVE ARITHMETIC 82
A derived algorithm for evaluating epsilon-expressions over abstract sets 80
The Cut-Elimination and Nonlegthening Property for Gentzen's Sequent Calculus for First Order Logic with Equality 80
Binumerability in a Sequence of Theories 78
Absorbing the structural rules in the sequent calculus with additional atomic rules 78
Witnessing differences without redundancies 77
Models, Equality, Undefiniteness 76
A contribution to the Automated Treatment of Membership Theories 73
The Elimination of Atomic Cuts and the Semishortening Property for Gentzen's Sequent Calculus with Equality 67
Elaborazione dell'Informazione Non Numerica 64
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 63
Sulla Completezza della omega-regola 62
Decidability of the A*E* class in the theory NWL Notes in Logic n.6 183-194 59
Admissibility of the structural rules in Kanger’s sequent calculus for first order logic with equality 59
The Subterm Property for the Sequent Calculus with Equality 57
PRA Provability of Schmerl's Fine Structure Theorem 56
Sui Sistemi Metaformali e le Progressioni Ricorsive di teorie 53
Regole e Principi di di Induzioner Ristretti Relativi s PRA 50
Decidability of E*AA-sentences in HF 48
logic and Logic Programming 47
Absorbing the structural rules in the sequent calculus with additional atomic rules 46
Formazione iniziale degli insegnanti di scuola secondaria a Udine 35
Truth in V for E*AA-sentences is decidable 30
The subterm property for some equality sequent calculi 27
On the admissibiity of the structural rules in Kanger's sequent calculus with restricted equality Rules 22
A Note on the Sequent Calculi G3[mic]= 21
Totale 3.263
Salva come PNG Salva come JPEG
Categoria #
all - tutte 9.836
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 9.836
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020705 31 27 26 88 49 130 74 86 43 75 19 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/20254 4 0 0 0 0 0 0 0 0 0 0 0
Totale 3.263