Autor:
Aparicio Sanchez, Damian

E-mails conocidos

daapsnc@upv.es

Apellidos

Aparicio Sanchez

Nombre de pila

Damian

Nombres alternativos

Aparicio-Sánchez, Damián

Afiliaciones conocidas

Universitat Politècnica de València, Spain

Página completa del ítem

Notificar un error en este autor

Resultados de la búsqueda

Mostrando 1 - 2 de 2

Variant-based Equational Unification under Constructor Symbols
Aparicio Sanchez, Damian; Escobar, Santiago; Sapiña, Julia. Actas de las XX Jornadas de Programación y Lenguajes (PROLE 2021), 2021-09-22.
Publicado en The 36th International Conference on Logic Programming (ICLP 2020).
An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA
Aparicio Sanchez, Damian; Escobar, Santiago; Gutiérrez, Raúl; Sapiña, Julia. Actas de las XX Jornadas de Programación y Lenguajes (PROLE 2021), 2021-09-22.
Publicado en 25th European Symposium on Research in Computer Security (ESORICS 2020).

Autor:
Aparicio Sanchez, Damian

E-mails conocidos

Fecha de nacimiento

Proyectos de investigación

Unidades organizativas

Puesto de trabajo

Apellidos

Nombre de pila

Nombre

Nombres alternativos

Afiliaciones conocidas

Páginas web conocidas

Filtros

Autor

Materias

Fecha

Tiene archivos

Tipo de ítem

Ajustes

Ordenar por

Resultados por página

Resultados de la búsqueda

Autor: Aparicio Sanchez, Damian

E-mails conocidos

Fecha de nacimiento

Proyectos de investigación

Unidades organizativas

Puesto de trabajo

Apellidos

Nombre de pila

Nombre

Nombres alternativos

Afiliaciones conocidas

Páginas web conocidas

Filtros

Autor

Materias

Fecha

Tiene archivos

Tipo de ítem

Ajustes

Ordenar por

Resultados por página

Resultados de la búsqueda

Autor:
Aparicio Sanchez, Damian