IRIS
Baratella, Stefano
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.185
EU - Europa 313
AS - Asia 172
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
SA - Sud America 1
Totale 2.673
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.160
UA - Ucraina 110
SG - Singapore 103
IT - Italia 56
FI - Finlandia 41
CN - Cina 38
SE - Svezia 36
CA - Canada 24
GB - Regno Unito 23
DE - Germania 17
BG - Bulgaria 13
TR - Turchia 9
VN - Vietnam 9
RU - Federazione Russa 8
ID - Indonesia 6
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
HK - Hong Kong 1
IE - Irlanda 1
IN - India 1
JP - Giappone 1
MX - Messico 1
PT - Portogallo 1
SK - Slovacchia (Repubblica Slovacca) 1
Totale 2.673
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
Singapore 80
Columbus 73
Princeton 64
Ann Arbor 60
San Mateo 48
Trento 32
San Diego 22
Ottawa 21
Dearborn 20
Beijing 15
Sofia 13
Lawrence 11
New York 10
Helsinki 9
Izmir 9
Boardman 6
Hefei 6
Jakarta 6
London 6
Nanjing 6
San Paolo di Civitate 6
Dong Ket 4
Moscow 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
Santa Clara 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
Hong Kong 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
Velletri 1
Yerevan 1
Zhengzhou 1
Totale 2.241
Salva come PNG Salva come JPEG
Nome #
A predicate extension of real valued logic 155
A note on infinitary continuous logic 105
A parallel game semantics for linear logic 97
A note on unbounded metric temporal logic over dense time domains 95
Continuous propositional modal logic 95
The Real truth 94
A class of programs for which SLDNF resolution and NAF rule are complete 93
A theory of sets with the negation of the axiom of infinity 91
Approximating classical theorems 87
Constructivization via approximations and examples 87
Nonstandard regular finite set theory 85
A modal approach to negation as failure rule 83
A natural deduction system for bundled branching time logic. 83
A completeness theorem for continuous predicate modal logic 82
A completeness result for allowed semi-strict programs with respect to well-behaved and allowed query clauses 78
An approach to infinitary temporal proof theory 78
Fixed points in the nonstandard hull of a Banach space. 77
Consequences of neocompact quantifier elimination 77
An infinitary variant of Metric Temporal Logic over dense time domains 75
Neocompact Quantifier Elimination in Structures based on Banach Spaces 74
null 68
Some properties of nonstandard hulls of Banach algebras 68
A way of making world quantification explicit 67
Preservation of properties in nonstandard hulls of C*-algebras 67
A proof-theoretic investigation of a logic of positions 66
Quantum coherent spaces and linear logic 66
A two-dimensional metric temporal logic 65
Isometry games in Banach spaces 62
Yet another constructivization of classical logic 60
On some properties of recursively enmerable equivalence relation 54
A nonstandard proof of the Eberlein-Smulian theorem 54
Karp's interpolation theorem for some classes of infinitary languages 47
Modules over the dihedral algebras 41
Models of Clark's completion for some classes of logic programs 40
The theory of ${f Z}C(2)sp 2$-lattices is decidable. 36
An infinitary propositional probability logic 35
Nonstandard hulls of C*-algebras and their applications 24
A finitary outer measure logic 14
Model-theoretic properties of Banach spaces 10
Totale 2.735
Salva come PNG Salva come JPEG
Categoria #
all - tutte 10.804
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 244
Totale 11.048
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020568 0 0 0 0 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/2025178 1 4 10 132 31 0 0 0 0 0 0 0
Totale 2.735