Debido al alto tráfico generado por robots, estamos aplicando limitaciones en el número de peticiones permitidas por cliente y bloqueos por IP automáticos. Si haces un uso legítimo y estás teniendo problemas, avísanos para reevaluar nuestras políticas de bloqueo. Disculpa las molestias.

Artículo:
Variant-based Equational Unification under Constructor Symbols

Miniatura

Archivos

11705-PROLE-2021-011.pdf (134.98 KB)

Fecha

2021-09-22

Autores

Editor

Sistedes

Publicado en

Actas de las XX Jornadas de Programación y Lenguajes (PROLE 2021)

Licencia Creative Commons

CC BY-NC-ND 4.0
CC BY-NC-ND 4.0

Resumen

Publicado en The 36th International Conference on Logic Programming (ICLP 2020).

Descripción

Acerca de Aparicio Sanchez, Damian

Palabras clave

Equational Unification, Maude, Variants

Enlace permanente

https://hdl.handle.net/11705/PROLE/2021/011

Colecciones

PROLE 2021 (Málaga) • Knowledge discovery / Symbolic computation

Citación

Texto planoBibTeX

Aparicio-Sánchez, D., Escobar, S., Sapiña, J.: Variant-based Equational Unification under Constructor Symbols. In: Martí Oliet, N. (ed.) Actas de las XX Jornadas de Programación y Lenguajes (PROLE 2021). Sistedes (2021). https://hdl.handle.net/11705/PROLE/2021/011

Página completa del ítem
Notificar un error en este artículo