UniSa - IRIS Institutional Research Information System

LENZI, Giacomo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.052
EU - Europa 1.563
AS - Asia 979
SA - Sud America 97
AF - Africa 6
OC - Oceania 1
Totale 6.698
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.036
IT - Italia 581
CN - Cina 358
SG - Singapore 316
UA - Ucraina 305
RU - Federazione Russa 183
DE - Germania 136
IE - Irlanda 106
VN - Vietnam 98
BR - Brasile 86
TR - Turchia 72
SE - Svezia 64
FI - Finlandia 63
AT - Austria 56
KR - Corea 42
IR - Iran 32
FR - Francia 18
HK - Hong Kong 16
IN - India 16
RO - Romania 14
CA - Canada 12
GE - Georgia 10
NL - Olanda 10
AR - Argentina 8
ES - Italia 6
JP - Giappone 5
PL - Polonia 5
CH - Svizzera 4
CM - Camerun 3
GB - Regno Unito 3
IL - Israele 3
RS - Serbia 3
AZ - Azerbaigian 2
BD - Bangladesh 2
BY - Bielorussia 2
CZ - Repubblica Ceca 2
PH - Filippine 2
UZ - Uzbekistan 2
AM - Armenia 1
AU - Australia 1
CI - Costa d'Avorio 1
CL - Cile 1
CO - Colombia 1
CR - Costa Rica 1
DO - Repubblica Dominicana 1
HN - Honduras 1
HU - Ungheria 1
MX - Messico 1
OM - Oman 1
SK - Slovacchia (Repubblica Slovacca) 1
TN - Tunisia 1
TW - Taiwan 1
VE - Venezuela 1
ZA - Sudafrica 1
Totale 6.698
Salva come PNG Salva come JPEG
Città #
Ann Arbor 1.114
Woodbridge 455
Jacksonville 373
Chandler 366
Houston 349
Wilmington 324
Princeton 315
Singapore 129
Dublin 104
Salerno 104
Dong Ket 96
Nanjing 85
Andover 74
Moscow 70
Dearborn 68
Beijing 58
Izmir 54
Nuremberg 51
Ashburn 42
Fairfield 36
Hebei 36
Pellezzano 36
Naples 35
Boardman 31
Vienna 31
Milan 29
Nanchang 29
Changsha 25
Jiaxing 24
Shenyang 19
Norwalk 16
Hong Kong 15
Tianjin 14
Sarno 13
Mestre 12
Arbus 11
Ottawa 11
Seregno 11
Fisciano 10
Jinan 10
Napoli 10
Domicella 9
Florence 9
Rome 9
Bucharest 8
Düsseldorf 8
Redwood City 8
San Diego 8
Tirschenreuth 8
Morra De Sanctis 7
Pune 7
Rio de Janeiro 7
Seattle 7
Shiraz 7
Cambridge 6
Helsinki 6
Orta di Atella 6
San Nicola la Strada 6
Shanghai 6
Cagliari 5
Dallas 5
Istanbul 5
Ankara 4
Buenos Aires 4
Ercolano 4
Genova 4
Guangzhou 4
Kahramanmaraş 4
Kemalpasa 4
Ottaviano 4
Palermo 4
Tokyo 4
Zurich 4
Bacau 3
Belgrade 3
Bologna 3
Costabissara 3
Duncan 3
Eboli 3
Hanover 3
Lappeenranta 3
Los Angeles 3
Madrid 3
Marigliano 3
Mashhad 3
Nettuno 3
New York 3
Parma 3
Potenza 3
San Martino Valle Caudina 3
Scafati 3
São Paulo 3
Trento 3
Udine 3
Vertova 3
Washington 3
Wuhan 3
Acerra 2
Afragola 2
Amsterdam 2
Totale 4.964
Salva come PNG Salva come JPEG
Nome #
Lukasiewicz equivalent neural networks 152
Bisimulation Quantifiers and Uniform Interpolation for Guarded First Order Logic 141
A fixpoint-based axiom system for $ACTL$. 123
Algebraic geometry for MV-algebras 123
A basic theory with predicates 122
Riesz-McNaughton functions and Riesz MV-algebras of nonlinear functions 118
On generalizing the Nullstellensatz for MV algebras 110
The modal $mu$-calculus: a survey, 108
An axiomatization of bisimulation quantifiers via the mu-calculus. 105
An Algebraic Characterization of O-Minimal and Weakly O-Minimal MV-Chains 105
Fuzzy Logic as a geometry 105
Mu--depth 3 is more than 2: a game-theoretic proof 104
Riesz-McNaughton functions and Riesz MV-algebras of nonlinear functions 104
A basic theory for the foundations of mathematics and other sciences. 103
Algebraically closed MV-algebras and their sheaf representation 103
structural completeness and unification problem of the logic of Chang algebra 102
A new logical characterization of B"uchi automata 100
Ultramatricial algebras over commutative chain semirings and application to MV-algebras 100
The transitive $mu$-Calculus is B"uchi definable, 99
On the lattice of the subvarieties of monadic MV(C)-algebras 97
A note on bisimulation quantifiers and fixed points over transitive frames 96
Hyperfinite MV-algebras 96
On the Modal mu-calculus over finite symmetric graphs 94
About a positive set theory with equality, 94
Some invariant skeletons for l-u groups and MV-algebras 93
The variable hierarchy of the $mu$-calculus is strict 92
On modal mu-calculus in S5 and applications. 91
The variable hierarchy of the $mu$-calculus is strict. 90
The hierarchy inside closed monadic $Sigma_1$ collapses on the infinite binary tree 89
Representation of MV algebras by regular ultrapowers of [0,1] 88
On the Mu-calculus over transitive and finite transitive frames 85
On modal mu-calculus in S5 and applications 85
Algebraic geometry for l-groups 85
Relating Levels of the Mu--Calculus Hierarchy and Levels of the Monadic Hierarchy 84
On the variable hierarchy of the modal mu-calculus 84
On the relationship between monadic and weak monadic second order on arbitrary trees, with application to the mu-calculus 82
Mu-Programs, Uniform Interpolation and Bisimulation Quantifiers for Modal Logic 82
On modal $mu$-calculus with explicit interpolants 82
A positive set theory with equality revisited 82
ENTROPY OF MV-ALGEBRAIC DYNAMICAL SYSTEMS: AN EXAMPLE 80
On MV-algebras of non-linear functions 79
On the structure of the monadic logic of the binary tree (MFCS 1999) 78
Monadic Second Order Logic And Its Fragments, in: M. Bauderon, A. Corradini (eds.), Proceedings of the GETGRATS Final Workshop, 78
On fixpoint arithmetic and infinite time Turing machines, 78
On P-transitive graphs and applications 76
On free MV algebras and a problem of Tarski 76
Verso i sistemi assiomatici del2000 in matematica, logica e informatica 76
A characterization of pseudofinite MV-algebras 75
A hierarchy theorem for the mu-calculus 73
Topological spaces of monadic MV-algebras 72
A general axiomatic framework for the foundations of mathematics, logic and computer science 71
La teoria '95. Una proposta di teoriaaperta e non riduzionista dei fondamenti della matematica 69
Formalizations and models of a basic theory for the foundations of mathematics 69
Relative subalgebras of MV-algebras 69
Duality theory and skeleta for semisimple MV-algebras 68
Deciding the existence of uniform interpolants over transitive models 67
Weydert's sf3 has no recursive term model 67
Geometric issues in the algebraic theory of many valued logics. 65
On a priced resource-bounded alternating mu-calculus 63
Estensioni contraddittorie della teoria ampia 63
On semirings and MV-algebras 62
, A nontrivial model of Weydert's $SF_3$ minus the Leibniz rules. 61
Recent results on Modal Mu-calculus: a survey 61
Una proposta di teorie base deifondamenti della matematica 61
On the logical definability of topologically closed recognizable languages of infinite trees 60
Verita' e giudizi in una nuovaprospettiva assiomatica 58
On modal mu-calculus over finite graphs with bounded strongly connected components. 58
Teorie base nu-arie 57
Un modello aritmetico parziale della teoria ampia 56
On modal mu-calculus over reflexive and symmetric graphs 55
On Vaught's Conjecture and finitely valued MV algebras 53
On Modal mu-Calculus over finite graphs with small components or small tree width 53
Spectral MV-algebras and equispectrality 52
Calcolo dei predicati e concetti metateorici in una teoria base dei fondamenti della matematica 52
A special type of ideals in MV-algebras of continuous functions 51
On a positive set theory with inequality 49
Geometry of superlukasiewicz logic 49
Topological classes of MV-algebras 47
Observables on perfect MV-algebras 47
Introduzione delle variabili nelquadro delle teorie base dei fondamenti della matematica 43
Topological spaces of monadic MV-algebras 41
On injectivity of semimodules over additively idempotent division semirings and chain MV-semirings 41
PROJECTIVITY AND UNIFICATION IN LOCALLY FINITE VARIETIES OF MONADIC MV -ALGEBRAS 39
Dualities and algebraic geometry of Baire functions in non-classical logic 38
The spectrum problem for Abelian l-groups and MV-algebras 36
Models, coproducts and exchangeability: Notes on states on Baire functions 35
On the Riesz structures of a lattice ordered abelian group 35
Z0−ideals and Z−ideals in MV −algebras 33
On counting and deciding MV-algebras 30
Expanding lattice ordered abelian groups to Riesz spaces 30
The mu calculus alternation depth hierarchy is infinite over finite planar graphs 29
A Pointfree Approach to Measurability and Statistical Models 28
Sheaf representations and locality of Riesz spaces with order unit. 28
The spectrum of l-groups and MV-algebras and some functors 25
Entropies and Dynamical Systems in Riesz MV-algebras 23
Logical Complexity of Spectra of Abelian ℓ-groups . 20
A generalization of prime ideals in MV -algebras 20
On a problem of Conrad on Riesz space structures 19
A NOTE ON SPECTRAL MV-ALGEBRAS AND TOPOS THEORY 16
Tsallis Entropy in MV-algebras 12
Totale 7.073
Salva come PNG Salva come JPEG
Categoria #
all - tutte 24.451
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 24.451
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020268 0 0 0 0 0 0 0 0 0 0 246 22
2020/2021626 12 57 74 9 79 23 70 14 68 6 87 127
2021/2022570 3 4 9 16 11 2 1 22 85 77 101 239
2022/2023938 92 51 13 122 90 231 2 87 134 21 49 46
2023/2024423 61 52 21 15 23 53 21 15 11 30 27 94
2024/2025859 64 27 26 37 30 141 123 99 248 59 5 0
Totale 7.093