Login / Signup
Alessio Guglielmi
ORCID
Publication Activity (10 Years)
Years Active: 1993-2022
Publications (10 Years): 6
Top Topics
Logical Properties
Decision Trees
Formal Proofs
Decision Tree Algorithm
Top Venues
CoRR
ACM Trans. Comput. Log.
Categories and Types in Logic, Language, and Physics
Log. Methods Comput. Sci.
</>
Publications
</>