Keyword:Equational Unification

Publications
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
Some Notes on Basic Syntactic Mutation Kimberly Gero, Chris Bouchard and Paliath Narendran In:UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification
Unication Problems Modulo a Theory of Until Shreyaben Brahmakshatriya, Sushma Danturi, Kimberly Gero and Paliath Narendran In:UNIF 2013. 27th International Workshop on Unification