Certifying expressive power and algorithms of reversible primitive permutations with Lean

Giacomo Maletto, Luca Roversi. Certifying expressive power and algorithms of reversible primitive permutations with Lean. J. Log. Algebr. Meth. Program., 136:100923, January 2024. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.