Login / Signup
Coltellacci Alessio
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Discrete Tomography
Theorem Prover
Computer Programs
Shape Recovery
Top Venues
ABZ
</>
Publications
</>
Coltellacci Alessio
Reconstruction of TLAPS Proofs Solved by VeriT in Lambdapi.
ABZ
(2023)