◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

G. Lenzi

5 papers hereh-index 12516 citations100 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • sole author1
  • middle author1
  • last author3

Across the 5 of 5 papers where every author was matched, so the position is known.

fields
  • cs.LO2
  • math.LO2
  • math.RA1

identity via Semantic Scholar / OpenAlex

activity
20102024
most citedOn Modal μ-Calculus over Finite Graphs with Bounded Strongly Connected Components

2 citations · 2 across the 5 of their papers we have counts for

collaborators
Showing 2024 · math.LOShow all

1 paper · 2 filters

math.LO2024

Tropicalization through the lens of Łukasiewicz logic, with a topos theoretic perspective

Antonio Di Nola, Giacomo Lenzi, Brunella Gerla

The main aim of this paper is to show the interconnections between Łukasiewicz logic and algebraic geometry using algebraic, geometric and logical instruments. We continue our inve…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.