Giacomo Maletto

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 3

Top Topics

Closely Related

Computational Complexity

Transitive Closure

Top Venues

J. Log. Algebraic Methods Program.

Publications

Giacomo Maletto, Luca Roversi
Certifying expressive power and algorithms of reversible primitive permutations with Lean. J. Log. Algebraic Methods Program. 136 (2024)
Giacomo Maletto, Luca Roversi
Certifying Algorithms and Relevant Properties of Reversible Primitive Permutations with Lean. RC (2022)
Giacomo Maletto, Luca Roversi
Certifying algorithms and relevant properties of Reversible Primitive Permutations with Lean. CoRR (2022)