IRIS
LENISA, Marina
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.979
AS - Asia 2.000
EU - Europa 1.284
SA - Sud America 293
AF - Africa 18
Continente sconosciuto - Info sul continente non disponibili 6
OC - Oceania 2
Totale 8.582
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.917
SG - Singapore 1.061
CN - Cina 428
UA - Ucraina 385
BR - Brasile 234
IT - Italia 209
HK - Hong Kong 186
DE - Germania 170
FI - Finlandia 117
RU - Federazione Russa 114
SE - Svezia 108
VN - Vietnam 96
KR - Corea 86
IE - Irlanda 64
CA - Canada 46
GB - Regno Unito 39
IN - India 37
AR - Argentina 30
TR - Turchia 28
BD - Bangladesh 15
FR - Francia 14
BE - Belgio 13
MX - Messico 12
ZA - Sudafrica 10
CO - Colombia 9
CZ - Repubblica Ceca 8
JP - Giappone 8
NL - Olanda 8
ES - Italia 7
ID - Indonesia 7
RO - Romania 7
EC - Ecuador 6
IQ - Iraq 6
AE - Emirati Arabi Uniti 5
AT - Austria 5
EU - Europa 5
IR - Iran 5
PH - Filippine 5
PK - Pakistan 5
KZ - Kazakistan 4
PL - Polonia 4
UZ - Uzbekistan 4
VE - Venezuela 4
OM - Oman 3
TW - Taiwan 3
UY - Uruguay 3
BB - Barbados 2
BH - Bahrain 2
CL - Cile 2
EE - Estonia 2
LT - Lituania 2
MA - Marocco 2
PT - Portogallo 2
TG - Togo 2
AF - Afghanistan, Repubblica islamica di 1
AU - Australia 1
AZ - Azerbaigian 1
BA - Bosnia-Erzegovina 1
BO - Bolivia 1
BY - Bielorussia 1
CM - Camerun 1
CW - ???statistics.table.value.countryCode.CW??? 1
DO - Repubblica Dominicana 1
EG - Egitto 1
GR - Grecia 1
GY - Guiana 1
HU - Ungheria 1
KE - Kenya 1
KW - Kuwait 1
LB - Libano 1
LV - Lettonia 1
NP - Nepal 1
NZ - Nuova Zelanda 1
PE - Perù 1
PY - Paraguay 1
SA - Arabia Saudita 1
SI - Slovenia 1
SN - Senegal 1
SR - Suriname 1
TT - Trinidad e Tobago 1
Totale 8.582
Salva come PNG Salva come JPEG
Città #
Woodbridge 723
Ann Arbor 676
Houston 479
Fairfield 444
Singapore 376
Ashburn 340
Chandler 267
Jacksonville 265
Wilmington 247
Beijing 203
Hong Kong 186
Seattle 181
Cambridge 159
Dearborn 148
Udine 108
Seoul 86
Boardman 71
Dublin 64
Princeton 64
Los Angeles 50
Hefei 44
The Dalles 32
Ho Chi Minh City 31
Trieste 28
Dallas 26
Ottawa 25
Izmir 22
Buffalo 21
New York 21
São Paulo 21
Nanjing 20
Redondo Beach 19
San Diego 18
Hanoi 16
Ogden 16
Brussels 13
Mumbai 13
Norwalk 13
Santa Clara 13
Dong Ket 12
Frankfurt am Main 11
Montreal 11
Reggio Nell'emilia 11
Jinan 10
Monmouth Junction 10
Des Moines 9
Kunming 9
Munich 9
Brooklyn 8
Tokyo 8
Guangzhou 7
London 7
Brno 6
Chennai 6
Manchester 6
Nanchang 6
Rio de Janeiro 6
Atlanta 5
Belo Horizonte 5
Curitiba 5
Falls Church 5
Milan 5
San Mateo 5
Bogotá 4
Da Nang 4
Denver 4
Dhaka 4
Goiânia 4
Horia 4
Indiana 4
Leawood 4
Mexico City 4
Moscow 4
Ningbo 4
Tashkent 4
Thái Bình 4
Toronto 4
Washington 4
Amsterdam 3
Ankara 3
Ardabil 3
Augusta 3
Betim 3
Boston 3
Bắc Ninh 3
Chicago 3
Council Bluffs 3
Grafing 3
Hortolândia 3
Hải Dương 3
Johannesburg 3
Maceió 3
Ninh Bình 3
Orem 3
Palazzolo sull'Oglio 3
Paranaque City 3
Phoenix 3
Pittsburgh 3
Porto Alegre 3
Queens 3
Totale 5.857
Salva come PNG Salva come JPEG
Nome #
From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems 417
Categories of Coalgebraic Games with Selective Sum 191
Conway Games, coalgebraically 188
Axiomatizing Fully Complete Models for ML Polymorphic Types 188
Categories of Coalgebraic Games 183
A Conditional Logical Framework 176
Category theory for operational semantics 175
Axiomatic Characterizations of Hyperuniverses and Applications 172
RPO, second-order contexts, and λ-calculus 169
Coinductive Characterizations of Applicative Structures 166
A type assignment system for game semantics 166
Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-language 164
Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi 163
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning 162
Coalgebraic Description of Generalized Binary Methods 161
A Framework for Defining Logical Frameworks 158
Strict Geometry of Interaction Graph Models 155
Processes and Hyperuniverses 152
A Complete Coinductive Logical System for Bisimulation Equivalence of Circular Objects 149
Coalgebraic Methods in Computer Science 149
Coalgebraic Description of Generalized Binary Methods 147
Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads 146
Fully-complete PER Model for ML Polymorphic Types 143
An Open Logical Framework 143
Conway's Games, algebraically and coalgebraically 142
Linear realizability and full completeness for typed lambda calculi 141
“Wave-Style” Geometry of Interaction Models in Rel Are Graph-Like Lambda-Models 131
Some Properties and Some Problems on Set Functors 130
RPO, Second-Order Contexts, and λ-Calculus 130
Equivalences and Congruences on Infinite Conway's Games 129
Coalgebraic Multigames 129
Logical Predicates as First-Class Citizens in LF 127
An Axiomatization of partial n-place Operations 125
Functors Determined by Values on Objects 125
CMCS 2001 123
Operations, Collections and Sets within a General Axiomatic Framework 120
Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic 119
Coalgebraic Coinduction in (Hyper)set-theoretic Categories 115
TOSCA 2001 114
CALCO 2009, 3rd International Conference on Algebra and Coalgebra in Computer Science 113
LLF – A Logical-Logical Framework 113
Some Results on Restricted lambda-calculi 112
Semantic Techniques for Deriving Coinductive Characterizations of Observational Equivalences for lambda-calculi 110
Proceedings of COMETA 2003 109
Implementing cantor’s paradise 108
Fully Complete Minimal PER Models for the Simply Typed Lambda-calculus 105
Properties of Set Functors 103
Generalized Coiteration Schemata 103
A Uniform Syntactical Method for Proving Coinduction Principles in lambda-calculi 102
Efficient Bisimilarities from Second-order Reaction Semantics for pi-calculus 100
LF+ in Coq for fast-and-loose reasoning 99
Semantical Analysis Of Perpetual Strategies In Lambda-Calculus 98
Proceedings of the Workshop COMETA Computational Metamodels 97
Λ!-calculus, intersection types, and involutions 97
Final Semantics for untyped lambda-calculus 96
Final Semantics for the pi-calculus 96
Multigames and strategies, coalgebraically 91
The involutions-as-principal types/ application-as-unification analogy 87
LFP - A Logical Framework with External Predicates 86
Final Semantics for a higher order concurrent langauage 86
Unfixing the Fixpoint: the theories of the lambdaY-calculus 82
Innocent game semantics via intersection type assignment systems 79
Principal Types as Lambda Nets 59
Modeling fresh names in the π-calculus using abstractions 55
Two Views on Unification: Terms as Strategies 52
Principal types as partial involutions 41
On Quantitative Algebraic Higher-Order Theories 37
null 36
Λ-symsym: An interactive tool for playing with involutions and types 25
Totale 8.660
Salva come PNG Salva come JPEG
Categoria #
all - tutte 29.491
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 29.491
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021589 0 0 0 0 0 133 49 80 125 63 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/20261.292 143 223 190 280 345 111 0 0 0 0 0 0
Totale 8.660