Artículo: Variant-based Equational Unification under Constructor Symbols
Fecha
2021-09-22
Editor
Sistedes
Publicado en
Actas de las XX Jornadas de Programación y Lenguajes (PROLE 2021)
Licencia Creative Commons
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
Página completa del ítem
Notificar un error en este artículo