UniSa - IRIS Institutional Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019117 0 0 0 0 0 0 0 0 0 0 100 17
2019/2020954 238 42 89 23 70 17 77 19 68 43 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/2024303 61 52 21 15 23 53 21 15 11 30 1 0
Totale 6.114