IRIS
LENISA, Marina
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.322
AS - Asia 2.335
EU - Europa 1.398
SA - Sud America 339
AF - Africa 44
Continente sconosciuto - Info sul continente non disponibili 7
OC - Oceania 4
Totale 9.449
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.241
SG - Singapore 1.190
CN - Cina 492
UA - Ucraina 387
BR - Brasile 257
IT - Italia 223
HK - Hong Kong 198
DE - Germania 180
VN - Vietnam 130
FI - Finlandia 123
RU - Federazione Russa 115
SE - Svezia 108
KR - Corea 86
FR - Francia 79
IE - Irlanda 64
IN - India 59
CA - Canada 51
GB - Regno Unito 45
AR - Argentina 39
TR - Turchia 37
BD - Bangladesh 26
IQ - Iraq 19
MX - Messico 17
ZA - Sudafrica 15
BE - Belgio 14
CO - Colombia 13
ID - Indonesia 13
JP - Giappone 11
PK - Pakistan 11
PH - Filippine 10
ES - Italia 9
NL - Olanda 9
CZ - Repubblica Ceca 8
VE - Venezuela 8
EC - Ecuador 7
RO - Romania 7
SA - Arabia Saudita 7
AT - Austria 6
MA - Marocco 6
AE - Emirati Arabi Uniti 5
EU - Europa 5
IR - Iran 5
KZ - Kazakistan 5
PL - Polonia 5
TN - Tunisia 5
UY - Uruguay 4
UZ - Uzbekistan 4
AU - Australia 3
BB - Barbados 3
BO - Bolivia 3
CL - Cile 3
DZ - Algeria 3
EG - Egitto 3
HN - Honduras 3
KE - Kenya 3
LT - Lituania 3
MY - Malesia 3
NP - Nepal 3
OM - Oman 3
TW - Taiwan 3
AZ - Azerbaigian 2
BH - Bahrain 2
EE - Estonia 2
JO - Giordania 2
KG - Kirghizistan 2
PT - Portogallo 2
QA - Qatar 2
SN - Senegal 2
SR - Suriname 2
TG - Togo 2
TT - Trinidad e Tobago 2
AF - Afghanistan, Repubblica islamica di 1
AO - Angola 1
BA - Bosnia-Erzegovina 1
BY - Bielorussia 1
CG - Congo 1
CI - Costa d'Avorio 1
CM - Camerun 1
CW - ???statistics.table.value.countryCode.CW??? 1
DK - Danimarca 1
DO - Repubblica Dominicana 1
ET - Etiopia 1
GR - Grecia 1
GY - Guiana 1
HU - Ungheria 1
JM - Giamaica 1
KW - Kuwait 1
LB - Libano 1
LK - Sri Lanka 1
LV - Lettonia 1
MT - Malta 1
NO - Norvegia 1
NZ - Nuova Zelanda 1
PA - Panama 1
PE - Perù 1
PR - Porto Rico 1
PS - Palestinian Territory 1
PY - Paraguay 1
SI - Slovenia 1
SV - El Salvador 1
Totale 9.448
Salva come PNG Salva come JPEG
Città #
Woodbridge 723
Ann Arbor 676
Houston 481
Fairfield 444
Singapore 436
Ashburn 370
Chandler 267
Jacksonville 265
Wilmington 247
Beijing 208
Hong Kong 198
Seattle 181
Cambridge 159
Dearborn 148
San Jose 116
Udine 108
The Dalles 91
Seoul 86
Boardman 71
Dublin 64
Princeton 64
Los Angeles 59
Lauterbourg 57
Hefei 44
Ho Chi Minh City 43
Trieste 28
Dallas 27
Ottawa 25
Hanoi 23
Izmir 23
New York 23
Buffalo 22
Santa Clara 22
São Paulo 22
Nanjing 20
Redondo Beach 19
San Diego 18
Frankfurt am Main 17
Ogden 16
Mumbai 15
Brussels 13
Council Bluffs 13
Norwalk 13
Dong Ket 12
Montreal 12
Reggio Nell'emilia 11
Jinan 10
Monmouth Junction 10
Brooklyn 9
Des Moines 9
Kunming 9
Munich 9
Tokyo 9
Atlanta 8
Baghdad 8
Helsinki 8
London 8
Chennai 7
Guangzhou 7
Manchester 7
Brno 6
Curitiba 6
Istanbul 6
Johannesburg 6
Milan 6
Nanchang 6
Orem 6
Rio de Janeiro 6
Toronto 6
Belo Horizonte 5
Da Nang 5
Falls Church 5
Mexico City 5
Rome 5
San Mateo 5
Tunis 5
Amsterdam 4
Bogotá 4
Denver 4
Dhaka 4
Florianópolis 4
Fortaleza 4
Goiânia 4
Horia 4
Hortolândia 4
Indiana 4
Jeddah 4
Lahore 4
Leawood 4
Long Xuyen 4
Moscow 4
Ningbo 4
Nuremberg 4
Paranaque City 4
Phoenix 4
Pittsburgh 4
Queens 4
Tashkent 4
Thái Bình 4
Vienna 4
Totale 6.303
Salva come PNG Salva come JPEG
Nome #
From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems 431
Categories of Coalgebraic Games with Selective Sum 206
Conway Games, coalgebraically 200
Categories of Coalgebraic Games 199
Axiomatizing Fully Complete Models for ML Polymorphic Types 194
A Conditional Logical Framework 191
RPO, second-order contexts, and λ-calculus 189
Category theory for operational semantics 187
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning 181
An Open Logical Framework 180
Axiomatic Characterizations of Hyperuniverses and Applications 179
A Framework for Defining Logical Frameworks 179
Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-language 179
A type assignment system for game semantics 179
Coinductive Characterizations of Applicative Structures 175
Strict Geometry of Interaction Graph Models 174
Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi 173
Coalgebraic Description of Generalized Binary Methods 172
Coalgebraic Description of Generalized Binary Methods 171
Conway's Games, algebraically and coalgebraically 166
Processes and Hyperuniverses 163
A Complete Coinductive Logical System for Bisimulation Equivalence of Circular Objects 160
Coalgebraic Methods in Computer Science 159
“Wave-Style” Geometry of Interaction Models in Rel Are Graph-Like Lambda-Models 154
Linear realizability and full completeness for typed lambda calculi 153
Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads 152
Fully-complete PER Model for ML Polymorphic Types 148
Logical Predicates as First-Class Citizens in LF 148
Equivalences and Congruences on Infinite Conway's Games 147
RPO, Second-Order Contexts, and λ-Calculus 147
Some Properties and Some Problems on Set Functors 143
Implementing cantor’s paradise 139
Coalgebraic Multigames 138
Functors Determined by Values on Objects 135
An Axiomatization of partial n-place Operations 133
CMCS 2001 131
Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic 130
Operations, Collections and Sets within a General Axiomatic Framework 130
Coalgebraic Coinduction in (Hyper)set-theoretic Categories 129
Generalized Coiteration Schemata 129
LLF – A Logical-Logical Framework 128
TOSCA 2001 124
Some Results on Restricted lambda-calculi 124
CALCO 2009, 3rd International Conference on Algebra and Coalgebra in Computer Science 118
Semantic Techniques for Deriving Coinductive Characterizations of Observational Equivalences for lambda-calculi 116
Proceedings of COMETA 2003 115
Properties of Set Functors 114
LF+ in Coq for fast-and-loose reasoning 112
Semantical Analysis Of Perpetual Strategies In Lambda-Calculus 111
Fully Complete Minimal PER Models for the Simply Typed Lambda-calculus 110
A Uniform Syntactical Method for Proving Coinduction Principles in lambda-calculi 110
Efficient Bisimilarities from Second-order Reaction Semantics for pi-calculus 109
Λ!-calculus, intersection types, and involutions 108
Final Semantics for untyped lambda-calculus 106
Proceedings of the Workshop COMETA Computational Metamodels 106
Final Semantics for the pi-calculus 105
Multigames and strategies, coalgebraically 100
Final Semantics for a higher order concurrent langauage 98
The involutions-as-principal types/ application-as-unification analogy 96
LFP - A Logical Framework with External Predicates 93
Unfixing the Fixpoint: the theories of the lambdaY-calculus 92
Innocent game semantics via intersection type assignment systems 88
Principal Types as Lambda Nets 69
Modeling fresh names in the π-calculus using abstractions 67
Two Views on Unification: Terms as Strategies 64
Principal types as partial involutions 59
On Quantitative Algebraic Higher-Order Theories 46
null 36
Λ-symsym: An interactive tool for playing with involutions and types 30
Totale 9.527
Salva come PNG Salva come JPEG
Categoria #
all - tutte 31.205
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 31.205
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021139 0 0 0 0 0 0 0 0 0 0 101 38
2021/2022567 33 58 18 69 17 23 25 22 12 92 123 75
2022/2023577 72 59 21 70 61 145 0 24 89 7 14 15
2023/2024179 24 6 2 10 25 27 8 10 25 13 4 25
2024/20251.535 29 76 89 58 26 52 102 43 120 66 316 558
2025/20262.159 143 223 190 280 345 182 294 66 152 277 7 0
Totale 9.527