TY  - RPRT
TI  - Nominal Equational Rewriting and Narrowing
AU  - Mauricio Ayala-Rincón
AU  - Maribel Fernández
AU  - Daniele Nantes-Sobrinho
AU  - Daniella Santaguida
PY  - 2025
DO  - 10.4204/eptcs.421.5
UR  - https://arxiv.org/abs/2506.05835
ID  - 2506.05835
ER  -