IRIS
Baratella, Stefano
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.107
EU - Europa 302
AS - Asia 87
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
SA - Sud America 1
Totale 2.499
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.082
UA - Ucraina 110
IT - Italia 55
CN - Cina 38
FI - Finlandia 38
SE - Svezia 36
SG - Singapore 26
CA - Canada 24
GB - Regno Unito 23
DE - Germania 14
BG - Bulgaria 13
TR - Turchia 9
VN - Vietnam 9
RU - Federazione Russa 4
IL - Israele 3
CH - Svizzera 2
FR - Francia 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AM - Armenia 1
AU - Australia 1
DK - Danimarca 1
EC - Ecuador 1
ES - Italia 1
IE - Irlanda 1
JP - Giappone 1
MX - Messico 1
PT - Portogallo 1
SK - Slovacchia (Repubblica Slovacca) 1
Totale 2.499
Salva come PNG Salva come JPEG
Città #
Fairfield 357
Jacksonville 235
Chandler 227
Woodbridge 163
Ashburn 162
Seattle 151
Cambridge 119
Wilmington 116
Houston 104
Princeton 64
Ann Arbor 60
San Mateo 48
Trento 32
San Diego 22
Ottawa 21
Dearborn 20
Beijing 15
Singapore 15
Sofia 13
Lawrence 11
New York 10
Izmir 9
Helsinki 7
Boardman 6
Hefei 6
London 6
Nanjing 6
San Paolo di Civitate 6
Dong Ket 4
Norwalk 4
Chiswick 3
Falls Church 3
Guangzhou 3
Milan 3
Palermo 3
Phoenix 3
Andover 2
Bolzano 2
Castiglione D'adda 2
Chicago 2
Como 2
Hebei 2
Karlsruhe 2
Kilburn 2
Toronto 2
Washington 2
Zurich 2
Acton 1
Altamura 1
Angers 1
Bratislava 1
Brooklyn 1
Chongqing 1
Dublin 1
Düsseldorf 1
Frankfurt am Main 1
Hangzhou 1
Kunming 1
Las Vegas 1
Los Angeles 1
Ludwigshafen 1
Melbourne 1
Montréal 1
New Bedfont 1
Old Bridge 1
Padova 1
Quito 1
Reston 1
San Francisco 1
Sevilla 1
Shenyang 1
Shenzhen 1
Trieste 1
Yerevan 1
Zhengzhou 1
Totale 2.087
Salva come PNG Salva come JPEG
Nome #
A predicate extension of real valued logic 146
A note on infinitary continuous logic 94
Continuous propositional modal logic 92
The Real truth 90
A note on unbounded metric temporal logic over dense time domains 90
A parallel game semantics for linear logic 89
A class of programs for which SLDNF resolution and NAF rule are complete 88
Approximating classical theorems 83
A theory of sets with the negation of the axiom of infinity 83
Constructivization via approximations and examples 82
A natural deduction system for bundled branching time logic. 80
Nonstandard regular finite set theory 79
A completeness theorem for continuous predicate modal logic 79
A modal approach to negation as failure rule 77
A completeness result for allowed semi-strict programs with respect to well-behaved and allowed query clauses 74
An approach to infinitary temporal proof theory 74
Consequences of neocompact quantifier elimination 74
Fixed points in the nonstandard hull of a Banach space. 73
An infinitary variant of Metric Temporal Logic over dense time domains 71
Neocompact Quantifier Elimination in Structures based on Banach Spaces 70
null 68
Some properties of nonstandard hulls of Banach algebras 65
A proof-theoretic investigation of a logic of positions 63
A way of making world quantification explicit 63
Preservation of properties in nonstandard hulls of C*-algebras 63
Quantum coherent spaces and linear logic 62
A two-dimensional metric temporal logic 61
Isometry games in Banach spaces 58
Yet another constructivization of classical logic 57
A nonstandard proof of the Eberlein-Smulian theorem 50
On some properties of recursively enmerable equivalence relation 49
Karp's interpolation theorem for some classes of infinitary languages 43
Modules over the dihedral algebras 37
Models of Clark's completion for some classes of logic programs 37
The theory of ${f Z}C(2)sp 2$-lattices is decidable. 29
An infinitary propositional probability logic 26
Nonstandard hulls of C*-algebras and their applications 20
A finitary outer measure logic 10
Model-theoretic properties of Banach spaces 9
Totale 2.558
Salva come PNG Salva come JPEG
Categoria #
all - tutte 9.292
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 217
Totale 9.509
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020757 45 27 47 70 92 51 136 69 97 33 23 67
2020/2021484 10 57 28 62 48 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/20251 1 0 0 0 0 0 0 0 0 0 0 0
Totale 2.558