A certified functional nominal C-unification algorithm M Ayala-Rincón, M Fernández, GF Silva, D Nantes-Sobrinho International Symposium on Logic-Based Program Synthesis and Transformation …, 2019 | 9 | 2019 |
A certified algorithm for AC-unification M Ayala-Rincón, M Fernández, GF Silva, DN Sobrinho 7th International Conference on Formal Structures for Computation and …, 2022 | 5 | 2022 |
Formalising nominal C-unification generalised with protected variables M Ayala-Rincón, W de Carvalho-Segundo, M Fernández, GF Silva, ... Mathematical Structures in Computer Science 31 (3), 286-311, 2021 | 4 | 2021 |
Why We Need Structured Proofs in Mathematics M Ayala-Rincón, GF Silva Workshop on Natural Formal Mathematics-NatFoM 21, 2023 | 1 | 2023 |
Formalising Nominal AC-Unification M Ayala-Rincón, M Fernández, GF Silva 33rd International Workshop on Unification Dortmund, June 24, 2019, 1, 2019 | | 2019 |