Publisher
Springer Nature Switzerland
Reference32 articles.
1. Ayala-Rincón, M., de Carvalho Segundo, W., Fernández, M., Nantes-Sobrinho, D., Oliveira, A.: A formalisation of nominal $$\alpha $$-equivalence with A, C, and AC symbols. Theoret. Comput. Sci. 781, 3–23 (2019). https://doi.org/10.1016/j.tcs.2019.02.020
2. Ayala-Rincón, M., de Carvalho Segundo, W., Fernández, M., Silva, G.F., Nantes-Sobrinho, D.: Formalising nominal C-unification generalised with protected variables. Math. Struct. Comput. Sci. 31(3), 286–311 (2021). https://doi.org/10.1017/S0960129521000050
3. Ayala-Rincón, M., Fernández, M., Nantes-Sobrinho, D.: Nominal narrowing. In: Kesner, D., Pientka, B. (eds.) 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22–26, 2016, Porto, Portugal. LIPIcs, vol. 52, pp. 11:1–11:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2016). https://doi.org/10.4230/LIPIcs.FSCD.2016.11
4. Ayala-Rincón, M., Fernández, M., Silva, G.F., Kutsia, T., Nantes-Sobrinho, D.: Nominal AC-matching. In: Dubois, C., Kerber, M. (eds.) Proceedings of the 16th Conference on Intelligent Computer Mathematics (CICM 2023). LNAI, Springer, Cham (2023). https://doi.org/10.1007/978-3-031-42753-4_4
5. Boudet, A., Contejean, E., Devie, H.: A new AC unification algorithm with an algorithm for solving systems of diophantine equations. In: Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS 1990), Philadelphia, Pennsylvania, USA, 4–7 June 1990, pp. 289–299. IEEE Computer Society (1990)