◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Luca Vercelli

4 papers hereh-index 450 citations11 works total

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

author position
  • sole author1
  • last author2

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

fields
  • cs.LO3
  • cs.CC1

identity via Semantic Scholar / OpenAlex

most citedSafe Recursion on Notation into a Light Logic by Levels

4 citations · 11 across the 4 of their papers we have counts for

collaborators
Showing cs.CCShow all

1 paper · 1 filter

cs.CC2010★ 4 cited

On the complexity of stratified logics

Luca Vercelli

Our primary motivation is the comparison of two different traditions used in ICC to characterize the class FPTIME of the polynomial time computable functions. On one side, FPTIME c…

◍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.