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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022458 0 0 0 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.365 143 223 190 280 345 182 294 66 152 277 121 92
2026/2027586 66 231 247 42 0 0 0 0 0 0 0 0
Totale 10.319