IRIS
Baratella, Stefano
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.487
AS - Asia 527
EU - Europa 497
SA - Sud America 136
AF - Africa 3
OC - Oceania 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 3.653
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.442
SG - Singapore 306
CN - Cina 115
BR - Brasile 114
UA - Ucraina 114
RU - Federazione Russa 109
IT - Italia 73
VN - Vietnam 45
FI - Finlandia 43
LV - Lettonia 37
SE - Svezia 37
GB - Regno Unito 35
CA - Canada 33
DE - Germania 19
BG - Bulgaria 13
TR - Turchia 10
ID - Indonesia 9
AR - Argentina 8
IN - India 8
BD - Bangladesh 7
MX - Messico 6
IQ - Iraq 5
ES - Italia 4
AZ - Azerbaigian 3
CL - Cile 3
EC - Ecuador 3
FR - Francia 3
HK - Hong Kong 3
IL - Israele 3
UZ - Uzbekistan 3
AE - Emirati Arabi Uniti 2
AU - Australia 2
BB - Barbados 2
BO - Bolivia 2
CH - Svizzera 2
CO - Colombia 2
JM - Giamaica 2
NL - Olanda 2
PY - Paraguay 2
VE - Venezuela 2
ZA - Sudafrica 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AL - Albania 1
AM - Armenia 1
DK - Danimarca 1
DO - Repubblica Dominicana 1
GT - Guatemala 1
IE - Irlanda 1
IR - Iran 1
JO - Giordania 1
JP - Giappone 1
KE - Kenya 1
KG - Kirghizistan 1
KW - Kuwait 1
PK - Pakistan 1
PL - Polonia 1
PT - Portogallo 1
SK - Slovacchia (Repubblica Slovacca) 1
TH - Thailandia 1
Totale 3.653
Salva come PNG Salva come JPEG
Città #
Fairfield 357
Jacksonville 235
Chandler 227
Ashburn 187
Singapore 186
Woodbridge 163
Seattle 151
Cambridge 119
Wilmington 116
Houston 104
Dallas 80
Columbus 73
Princeton 64
Ann Arbor 60
Moscow 52
San Mateo 48
Santa Clara 41
Riga 37
Trento 32
Los Angeles 25
San Diego 22
Ottawa 21
Beijing 20
Dearborn 20
Hefei 17
Ho Chi Minh City 16
New York 15
Buffalo 14
Sofia 13
Chicago 11
Lawrence 11
Helsinki 10
London 10
Izmir 9
Boardman 8
Redondo Beach 8
Brooklyn 7
Jakarta 7
Council Bluffs 6
Hanoi 6
Nanjing 6
San Paolo di Civitate 6
São Paulo 6
Haiphong 5
Shanghai 5
Toronto 5
Curitiba 4
Dong Ket 4
Guangzhou 4
Milan 4
Norwalk 4
Verona 4
Baku 3
Brasília 3
Campinas 3
Changsha 3
Chiswick 3
Denver 3
Elk Grove Village 3
Erbil 3
Falls Church 3
Hong Kong 3
Palermo 3
Phoenix 3
Querétaro 3
Quito 3
Rio de Janeiro 3
São José dos Campos 3
Tashkent 3
Washington 3
Zhongshan 3
Abu Dhabi 2
Andover 2
Asunción 2
Belo Horizonte 2
Bolzano 2
Bridgetown 2
Castiglione D'adda 2
Chennai 2
Como 2
Fuzhou 2
Governador Valadares 2
Hangzhou 2
Hebei 2
Itaobim 2
Johannesburg 2
Karlsruhe 2
Kilburn 2
Lancaster 2
Las Vegas 2
Lomas de Zamora 2
Manchester 2
Monte Grande 2
Montreal 2
Orem 2
Petrópolis 2
Pittsburgh 2
Poplar 2
Porto Alegre 2
Quixadá 2
Totale 2.780
Salva come PNG Salva come JPEG
Nome #
A predicate extension of real valued logic 193
The Real truth 137
A note on infinitary continuous logic 132
Some properties of nonstandard hulls of Banach algebras 125
A note on unbounded metric temporal logic over dense time domains 122
A parallel game semantics for linear logic 120
A class of programs for which SLDNF resolution and NAF rule are complete 118
A theory of sets with the negation of the axiom of infinity 117
A completeness theorem for continuous predicate modal logic 116
Constructivization via approximations and examples 114
A natural deduction system for bundled branching time logic. 114
Approximating classical theorems 110
Nonstandard regular finite set theory 110
Continuous propositional modal logic 106
A modal approach to negation as failure rule 104
A completeness result for allowed semi-strict programs with respect to well-behaved and allowed query clauses 102
An approach to infinitary temporal proof theory 100
A two-dimensional metric temporal logic 100
Consequences of neocompact quantifier elimination 98
An infinitary variant of Metric Temporal Logic over dense time domains 94
Preservation of properties in nonstandard hulls of C*-algebras 93
Fixed points in the nonstandard hull of a Banach space. 91
Neocompact Quantifier Elimination in Structures based on Banach Spaces 91
A way of making world quantification explicit 88
Quantum coherent spaces and linear logic 87
Isometry games in Banach spaces 85
A proof-theoretic investigation of a logic of positions 84
A nonstandard proof of the Eberlein-Smulian theorem 81
Yet another constructivization of classical logic 80
On some properties of recursively enmerable equivalence relation 80
Karp's interpolation theorem for some classes of infinitary languages 74
An infinitary propositional probability logic 70
null 68
Modules over the dihedral algebras 65
A finitary outer measure logic 64
The theory of ${f Z}C(2)sp 2$-lattices is decidable. 60
Models of Clark's completion for some classes of logic programs 59
Nonstandard hulls of C*-algebras and their applications 50
Model-theoretic properties of Banach spaces 15
Continuous logic in a classical setting 3
On the weak completeness of a fragment of linear temporal logic 3
Results in model theory for Riesz-valued structures 2
Totale 3.725
Salva come PNG Salva come JPEG
Categoria #
all - tutte 14.613
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 322
Totale 14.935
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021279 0 0 0 0 0 39 53 19 40 47 43 38
2021/2022321 24 36 5 7 5 36 19 56 16 26 18 73
2022/2023419 59 52 9 60 46 66 2 39 59 2 18 7
2023/2024120 12 16 13 3 5 16 3 7 0 2 17 26
2024/2025576 1 4 10 132 36 56 39 22 40 107 81 48
2025/2026592 45 25 180 164 95 83 0 0 0 0 0 0
Totale 3.725