Author:Santiago Escobar

Publications
UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification Santiago Escobar, Konstantin Korovin and Vladimir Rybakov (editors) EPiC Series in Computing, volume 24
Formal veriﬁcation of the YubiKey and YubiHSM APIs in Maude-NPA Antonio González-Burgueño, Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows and José Meseguer In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
The use of types in designing unification algorithms: two case studies Serdar Erbatur, Santiago Escobar and Paliath Narendran In:UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification
Unification and Anti-unification modulo Equational Theories Santiago Escobar In:UNIF 2013. 27th International Workshop on Unification
Detecting Modular ACU Structural Symmetries María Alpuente, Santiago Escobar and Javier Espert In:UNIF 2013. 27th International Workshop on Unification